From 055d00d78a1a6c11d3817c6cdc4654c009a2a553 Mon Sep 17 00:00:00 2001 From: sawka Date: Wed, 1 Nov 2023 23:10:01 -0700 Subject: [PATCH] use nextlinenum to decide whether to show newtab flow --- src/app/workspace/screen/screenview.tsx | 4 ++-- src/model/model.ts | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/app/workspace/screen/screenview.tsx b/src/app/workspace/screen/screenview.tsx index 0c745dcf..26da8d45 100644 --- a/src/app/workspace/screen/screenview.tsx +++ b/src/app/workspace/screen/screenview.tsx @@ -382,10 +382,10 @@ class ScreenWindowView extends React.Component<{ session: Session, screen: Scree - + - +
diff --git a/src/model/model.ts b/src/model/model.ts index f7f75bd7..5a8831e0 100644 --- a/src/model/model.ts +++ b/src/model/model.ts @@ -332,6 +332,7 @@ class Screen { name: OV; archived: OV; curRemote: OV; + nextLineNum: OV; lastScreenSize: WindowSize; lastCols: number; lastRows: number; @@ -349,6 +350,7 @@ class Screen { this.sessionId = sdata.sessionid; this.screenId = sdata.screenid; this.name = mobx.observable.box(sdata.name, { name: "screen-name" }); + this.nextLineNum = mobx.observable.box(sdata.nextlinenum, { name: "screen-nextlinenum" }); this.screenIdx = mobx.observable.box(sdata.screenidx, { name: "screen-screenidx", }); @@ -424,6 +426,7 @@ class Screen { this.screenIdx.set(data.screenidx); this.opts.set(data.screenopts); this.name.set(data.name); + this.nextLineNum.set(data.nextlinenum); this.archived.set(!!data.archived); let oldSelectedLine = this.selectedLine.get(); let oldFocusType = this.focusType.get();