Sync editor upon editor change

packages/base/src/widget.ts

@@ -13,6 +13,7 @@ import { JupyterCadMainViewPanel } from './3dview';
 import { MainViewModel } from './3dview/mainviewmodel';
 import { ConsoleView } from './console';
 import { AxeHelper, CameraSettings, ClipSettings, ExplodedView } from './types';
+import { WidgetTracker } from '@jupyterlab/apputils';
 
 export class JupyterCadWidget
   extends DocumentWidget<JupyterCadPanel, IJupyterCadModel>
@@ -45,6 +46,7 @@ export class JupyterCadPanel extends SplitPanel {
     this._initView();
     this._consoleOption = consoleOption;
     this._consoleTracker = consoleTracker;
+    this._syncEditor(options.tracker);
   }
 
   _initModel(options: {
@@ -67,6 +69,17 @@ export class JupyterCadPanel extends SplitPanel {
     SplitPanel.setStretch(this._jupyterCadMainViewPanel, 1);
   }
 
+  private _syncEditor(tracker: WidgetTracker<IJupyterCadWidget>) {
+    tracker.currentChanged.connect(() => {
+      const currentWidget = tracker.currentWidget;
+
+      if (currentWidget) {
+        const resizeEvent = new Event('resize');
+        window.dispatchEvent(resizeEvent);
+      }
+    });
+  }
+
   get jupyterCadMainViewPanel(): JupyterCadMainViewPanel {
     return this._jupyterCadMainViewPanel;
   }
@@ -229,5 +242,6 @@ export namespace JupyterCadPanel {
     model: IJupyterCadModel;
     workerRegistry: IJCadWorkerRegistry;
     consoleTracker?: IConsoleTracker;
+    tracker: WidgetTracker<IJupyterCadWidget>;
   }
 }

python/jupytercad_core/src/factory.ts

@@ -1,7 +1,6 @@
 import { ConsolePanel, IConsoleTracker } from '@jupyterlab/console';
 import {
   JupyterCadModel,
-  IJupyterCadTracker,
   IJCadWorkerRegistry,
   IJCadExternalCommandRegistry
 } from '@jupytercad/schema';
@@ -15,9 +14,10 @@ import {
   ToolbarWidget
 } from '@jupytercad/base';
 import { ServiceManager } from '@jupyterlab/services';
-
+import { WidgetTracker } from '@jupyterlab/apputils';
+import { IJupyterCadWidget } from '@jupytercad/schema';
 interface IOptions extends DocumentRegistry.IWidgetFactoryOptions {
-  tracker: IJupyterCadTracker;
+  tracker: WidgetTracker<IJupyterCadWidget>;
   commands: CommandRegistry;
   workerRegistry: IJCadWorkerRegistry;
   externalCommandRegistry: IJCadExternalCommandRegistry;
@@ -66,7 +66,8 @@ export class JupyterCadWidgetFactory extends ABCWidgetFactory<
       mimeTypeService: this.options.mimeTypeService,
       rendermime: this.options.rendermime,
       consoleTracker: this.options.consoleTracker,
-      commandRegistry: this.options.commands
+      commandRegistry: this.options.commands,
+      tracker: this.options.tracker
     });
     const toolbar = new ToolbarWidget({
       commands: this._commands,

python/jupytercad_lab/src/notebookrenderer.ts

@@ -4,6 +4,7 @@ import {
   IJCadWorkerRegistry,
   IJCadWorkerRegistryToken,
   IJupyterCadDoc,
+  IJupyterCadWidget,
   JupyterCadModel
 } from '@jupytercad/schema';
 
@@ -20,7 +21,7 @@ import {
   IJupyterYWidgetManager,
   JupyterYModel
 } from 'yjs-widgets';
-
+import { WidgetTracker } from '@jupyterlab/apputils';
 export interface ICommMetadata {
   create_ydoc: boolean;
   path: string;
@@ -39,6 +40,7 @@ export class YJupyterCADLuminoWidget extends Panel {
   constructor(options: {
     model: JupyterCadModel;
     workerRegistry: IJCadWorkerRegistry;
+    tracker: WidgetTracker<IJupyterCadWidget>;
   }) {
     super();
 
@@ -78,6 +80,10 @@ export const notebookRenderePlugin: JupyterFrontEndPlugin<void> = {
       console.error('Missing ICollaborativeDrive token!');
       return;
     }
+
+    const tracker = new WidgetTracker<IJupyterCadWidget>({
+      namespace: 'jupytercad'
+    });
     class YJupyterCADModelFactory extends YJupyterCADModel {
       ydocFactory(commMetadata: ICommMetadata): Y.Doc {
         const { path, format, contentType } = commMetadata;
@@ -105,7 +111,8 @@ export const notebookRenderePlugin: JupyterFrontEndPlugin<void> = {
 
         const widget = new YJupyterCADLuminoWidget({
           model: yModel.jupyterCADModel,
-          workerRegistry
+          workerRegistry,
+          tracker
         });
         // Widget.attach(widget, node);