From ecc737f68d33824e883d7478c08d4a08b6a4c606 Mon Sep 17 00:00:00 2001 From: sawka Date: Sun, 11 Sep 2022 20:49:53 -0700 Subject: [PATCH] fix crazy sessionid morphing bug, and add more debugging --- src/main.tsx | 6 +++--- src/model.ts | 17 ++++++++++++++++- 2 files changed, 19 insertions(+), 4 deletions(-) diff --git a/src/main.tsx b/src/main.tsx index 1b6cb2ac..1c3d248b 100644 --- a/src/main.tsx +++ b/src/main.tsx @@ -1040,7 +1040,7 @@ class ScreenWindowView extends React.Component<{sw : ScreenWindow}, {}> { renderError(message : string) { let {sw} = this.props; return ( -
+
{sw.name.get()}{sw.shouldFollow.get() ? "*" : ""}
@@ -1124,7 +1124,7 @@ class ScreenView extends React.Component<{screen : Screen}, {}> { ); } return ( -
+
); @@ -1197,7 +1197,7 @@ class SessionView extends React.Component<{}, {}> { } let activeScreen = session.getActiveScreen(); return ( -
+
diff --git a/src/model.ts b/src/model.ts index cde8f2b4..2912ce37 100644 --- a/src/model.ts +++ b/src/model.ts @@ -284,7 +284,7 @@ class ScreenWindow { if (activeScreen == null) { return false; } - return (this.sessionId = activeScreen.sessionId) && (this.screenId == activeScreen.screenId); + return (this.sessionId == activeScreen.sessionId) && (this.screenId == activeScreen.screenId); } colsCallback(cols : number) : void { @@ -1172,6 +1172,21 @@ class Model { getApi().onDigitCmd(this.onDigitCmd.bind(this)); } + dumpStructure() : void { + for (let i=0; i