other type fixes

jtpio · jtpio · commit b2ea50d993e7 · 2025-10-27T09:00:23.000+01:00
diff --git a/src/diff/unified-cell.ts b/src/diff/unified-cell.ts
@@ -77,13 +77,17 @@ export class UnifiedCellDiffManager extends BaseUnifiedDiffManager {
 
     if (this._toolbarObserver) {
       this._toolbarObserver.disconnect();
+      this._toolbarObserver = undefined;
     }
   }
+
   /**
    * Hide the cell's toolbar while the diff is active
    */
   protected hideCellToolbar(): void {
-    const toolbar = this._cell.node.querySelector('jp-toolbar') as HTMLElement;
+    const toolbar = this._cell.node.querySelector(
+      'jp-toolbar'
+    ) as HTMLElement | null;
     if (toolbar) {
       toolbar.style.display = 'none';
     }

Original file line number	Diff line number	Diff line change
`@@ -77,13 +77,17 @@ export class UnifiedCellDiffManager extends BaseUnifiedDiffManager {`
`77`	`77`
`78`	`78`	`if (this._toolbarObserver) {`
`79`	`79`	`this._toolbarObserver.disconnect();`
	`80`	`+ this._toolbarObserver = undefined;`
`80`	`81`	`}`
`81`	`82`	`}`
	`83`	`+`
`82`	`84`	`/**`
`83`	`85`	`* Hide the cell's toolbar while the diff is active`
`84`	`86`	`*/`
`85`	`87`	`protected hideCellToolbar(): void {`
`86`		`- const toolbar = this._cell.node.querySelector('jp-toolbar') as HTMLElement;`
	`88`	`+ const toolbar = this._cell.node.querySelector(`
	`89`	`+ 'jp-toolbar'`
	`90`	`+ ) as HTMLElement \| null;`
`87`	`91`	`if (toolbar) {`
`88`	`92`	`toolbar.style.display = 'none';`
`89`	`93`	`}`