Fix wiring up of onDisconnect

malcolm-sparkfun · malcolm-sparkfun · commit a89268f968cc · 2025-06-13T14:51:04.000-06:00
diff --git a/kernel/src/panel.ts b/kernel/src/panel.ts
@@ -92,7 +92,6 @@ export default class WelcomePanel {
   private dialogPanel: DialogPanel;
 
   constructor(private serviceContainer: ServiceContainer) {
-  // constructor() {
 
     this.element = document.createElement('div');
     this.element.id = 'jp-kernel-welcome-panel';
@@ -153,7 +152,7 @@ export default class WelcomePanel {
     this.minimizedPanel.updateOnConnection(connection_msg)
   }
   updateOnDisconnection(connection_msg: string): void{
-    this.minimizedPanel.updateOnConnection(connection_msg)
+    this.minimizedPanel.updateOnDisconnection(connection_msg)
   }
 
   show(): void {

Original file line number	Diff line number	Diff line change
`@@ -92,7 +92,6 @@ export default class WelcomePanel {`
`92`	`92`	`private dialogPanel: DialogPanel;`
`93`	`93`
`94`	`94`	`constructor(private serviceContainer: ServiceContainer) {`
`95`		`- // constructor() {`
`96`	`95`
`97`	`96`	`this.element = document.createElement('div');`
`98`	`97`	`this.element.id = 'jp-kernel-welcome-panel';`
`@@ -153,7 +152,7 @@ export default class WelcomePanel {`
`153`	`152`	`this.minimizedPanel.updateOnConnection(connection_msg)`
`154`	`153`	`}`
`155`	`154`	`updateOnDisconnection(connection_msg: string): void{`
`156`		`- this.minimizedPanel.updateOnConnection(connection_msg)`
	`155`	`+ this.minimizedPanel.updateOnDisconnection(connection_msg)`
`157`	`156`	`}`
`158`	`157`
`159`	`158`	`show(): void {`