dbg

Author: malcolm-sparkfun

kernel/src/index.ts

@@ -1,21 +1,22 @@
-// Removed Widget import as we're no longer using @lumino/widgets
 import { JupyterLiteServer, JupyterLiteServerPlugin } from '@jupyterlite/server';
 import { IKernel, IKernelSpecs } from '@jupyterlite/kernel';
-import { INotebookTracker} from '@jupyterlab/notebook';
+import { INotebookTracker } from '@jupyterlab/notebook';
 import { EmbeddedKernel } from './kernel';
 import WelcomePanel from './panel';
 import { ServiceContainer } from './services/ServiceContainer';
 import { DeviceService } from './services/DeviceService';
 
-// Variable for saving the DeviceService instance so we can restore it if kernel is restarted 
 var devService: DeviceService | null = null;
 
-// Kernel plugin for the embedded kernel
 const kernelPlugin: JupyterLiteServerPlugin<void> = {
   id: 'jupyterlite-embedded-kernel:kernel',
   autoStart: true,
-  requires: [IKernelSpecs],
-  activate: (app: JupyterLiteServer, kernelspecs: IKernelSpecs) => {
+  requires: [IKernelSpecs, INotebookTracker], // Add INotebookTracker here
+  activate: (
+    app: JupyterLiteServer,
+    kernelspecs: IKernelSpecs,
+    notebookTracker: INotebookTracker // Add notebookTracker parameter
+  ) => {
     const activeKernels = new Map<string, EmbeddedKernel>();
 
     app.router.post('/api/kernels/(.*)/interrupt', async (req, kernelId: string) => {
@@ -49,20 +50,17 @@ const kernelPlugin: JupyterLiteServerPlugin<void> = {
         const serviceContainer = new ServiceContainer(devService);
         await serviceContainer.init();
 
-        // Save the DeviceService instance so we can restore it if kernel is restarted
         devService = serviceContainer.deviceService;
 
         const welcomePanel = new WelcomePanel(
           serviceContainer,
-          notebookTracker
+          notebookTracker // Pass notebookTracker here
         );
         document.body.appendChild(welcomePanel.getElement());
         const kernel = new EmbeddedKernel(options, serviceContainer);
 
-        // welcomePanel.show();
         welcomePanel.initialShow();
 
-        // If the deivce is already connected, update the welcome panel
         if (serviceContainer.deviceService.isConnected()) { 
           welcomePanel.updateOnConnection("Connected");
         }