feat(lab): add kernel/terminal/lsp panel

apps/docs/.dumi/tsconfig.json

@@ -1,6 +1,6 @@
 {
   "extends": "../tsconfig.json",
   "compilerOptions": {
-    "rootDir": "/"
-  }
+    "rootDir": "/",
+  },
 }

apps/docs/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-code-cell/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-code-editor/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-codemirror/src/auto-complete/state.ts

@@ -167,10 +167,9 @@ export class CompletionState {
     const sources =
       conf.override ||
       state
-        .languageDataAt<CompletionSource | readonly (string | Completion)[]>(
-          'autocomplete',
-          cur(state),
-        )
+        .languageDataAt<
+          CompletionSource | readonly (string | Completion)[]
+        >('autocomplete', cur(state))
         .map(asSource);
     let active: readonly ActiveSource[] = sources.map((source) => {
       const value =

packages/libro-codemirror/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-cofine-editor-contribution/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src", "typings"]
+  "include": ["src", "typings"],
 }

packages/libro-cofine-editor-core/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": ".",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src", "typings", "package.json"]
+  "include": ["src", "typings", "package.json"],
 }

packages/libro-cofine-editor/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src", "typings"]
+  "include": ["src", "typings"],
 }

packages/libro-cofine-textmate/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src", "typings"]
+  "include": ["src", "typings"],
 }

packages/libro-common/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-core/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-jupyter/src/file/file-view/index.tsx

@@ -77,7 +77,7 @@ export class FileView extends FileTreeView {
           opener.open(treeNode.uri, {
             viewOptions: {
               name: treeNode.fileStat.name,
-              fileSize: treeNode.fileStat.size,
+              // fileSize: treeNode.fileStat.size,
             },
           });
         }

packages/libro-jupyter/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-kernel/src/kernel/libro-kernel-manager.ts

@@ -12,6 +12,7 @@ import type {
   KernelStatus,
   KernelConnectionOptions,
   IKernelModel,
+  KernelMeta,
 } from './libro-kernel-protocol.js';
 import {
   LibroKernelFactory,
@@ -31,6 +32,9 @@ export class LibroKernelManager {
   @prop()
   kernelMap = new Map<KernelId, LibroKernel>();
 
+  @prop()
+  private _models = new Map<string, KernelMeta>();
+
   protected _pollModels: Poll;
   protected _isReady = false;
   protected _ready: Promise<void>;
@@ -49,6 +53,10 @@ export class LibroKernelManager {
     return this.kernelMap.get(kernelId);
   }
 
+  get runningKernels(): Map<string, KernelMeta> {
+    return this._models;
+  }
+
   constructor(@inject(ServerManager) serverManager: ServerManager) {
     this.serverManager = serverManager;
 
@@ -114,6 +122,22 @@ export class LibroKernelManager {
     await this.refreshRunning();
   }
 
+  /**
+   * Shut down all kernels.
+   */
+  async shutdownAll(): Promise<void> {
+    // Update the list of models to make sure our list is current.
+    await this.refreshRunning();
+
+    // Shut down all models.
+    await Promise.all(
+      [...this._models.keys()].map((id) => this.kernelRestAPI.shutdownKernel(id)),
+    );
+
+    // Update the list of models to clear out our state.
+    await this.refreshRunning();
+  }
+
   async connectToKernel(options: KernelConnectionOptions) {
     const kernelConnection = this.kernelConnectionFactory(options);
     this.startKernel(kernelConnection);
@@ -180,8 +204,10 @@ export class LibroKernelManager {
    * Execute a request to the server to poll running kernels and update state.
    */
   protected async requestRunning(): Promise<void> {
+    let models: KernelMeta[];
+
     try {
-      await this.kernelRestAPI.listRunning();
+      models = await this.kernelRestAPI.listRunning();
     } catch (err: any) {
       // Handle network errors, as well as cases where we are on a
       // JupyterHub and the server is not running. JupyterHub returns a
@@ -195,5 +221,29 @@ export class LibroKernelManager {
       }
       throw err;
     }
+
+    if (
+      this._models.size === models.length &&
+      models.every((model) => {
+        const existing = this._models.get(model.id);
+        if (!existing) {
+          return false;
+        }
+        return (
+          existing.connections === model.connections &&
+          existing.execution_state === model.execution_state &&
+          existing.last_activity === model.last_activity &&
+          existing.name === model.name &&
+          existing.reason === model.reason &&
+          existing.traceback === model.traceback
+        );
+      })
+    ) {
+      // Identical models list (presuming models does not contain duplicate
+      // ids), so just return
+      return;
+    }
+
+    this._models = new Map(models.map((x) => [x.id, x]));
   }
 }

packages/libro-kernel/src/kernel/libro-kernel-protocol.ts

@@ -34,6 +34,8 @@ export interface KernelMeta {
   last_activity: string;
   execution_state: KernelStatus;
   connections: number;
+  readonly reason?: string;
+  readonly traceback?: string;
 }
 
 export const KernelMetaOption = Symbol('KernelMetaOption');

packages/libro-kernel/src/session/libro-session-manager.ts

@@ -52,9 +52,16 @@ export class LibroSessionManager {
   protected _ready: Promise<void>;
   protected _isReady = false;
   protected storageService: StorageService;
+
+  @prop()
   protected _models: Map<string, SessionIModel>;
+
   protected _sessionConnections: Map<string, IKernelConnection>; // sessionId -> kernelConnection
 
+  get running(): Map<string, SessionIModel> {
+    return this._models;
+  }
+
   constructor(
     @inject(LibroKernelManager) kernelManager: LibroKernelManager,
     @inject(ServerManager) serverManager: ServerManager,
@@ -117,6 +124,27 @@ export class LibroSessionManager {
       throw err;
     }
 
+    if (
+      this._models.size === models.length &&
+      models.every((model) => {
+        const existing = this._models.get(model.id);
+        if (!existing) {
+          return false;
+        }
+        return (
+          existing.kernel?.id === model.kernel?.id &&
+          existing.kernel?.name === model.kernel?.name &&
+          existing.name === model.name &&
+          existing.path === model.path &&
+          existing.type === model.type
+        );
+      })
+    ) {
+      // Identical models list (presuming models does not contain duplicate
+      // ids), so just return
+      return;
+    }
+
     this._models = new Map(models.map((x) => [x.id, x]));
 
     for (const [sessionId, kc] of this._sessionConnections) {

packages/libro-kernel/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-l10n/tsconfig.json

@@ -3,9 +3,9 @@
   "compilerOptions": {
     "rootDir": "./src",
     "outDir": "es",
-    "declarationDir": "es"
+    "declarationDir": "es",
   },
   "types": ["jest"],
   "exclude": ["node_modules"],
-  "include": ["src"]
+  "include": ["src"],
 }

packages/libro-lab/package.json

@@ -52,6 +52,7 @@
     "@difizen/libro-kernel": "^0.1.14",
     "@difizen/libro-prompt-cell": "^0.1.14",
     "@difizen/libro-terminal": "^0.1.14",
+    "@difizen/libro-lsp": "^0.1.14",
     "@difizen/libro-toc": "^0.1.14",
     "@difizen/libro-cofine-editor-core": "^0.1.14",
     "@difizen/mana-app": "latest",