refactor: move all server config to startup env vars; drop plugin settings

src/index.ts

@@ -5,32 +5,38 @@ import {
 
 import { IToolbarWidgetRegistry } from '@jupyterlab/apputils';
 import { Cell, CodeCell } from '@jupyterlab/cells';
-import { ISettingRegistry } from '@jupyterlab/settingregistry';
 import { Widget } from '@lumino/widgets';
 
 import {
   OpenCodeCellActions,
-  setOpenCodeRuntime
+  setOpenCodeProviders,
+  setOpenCodeServerSettings
 } from './components/opencode_cell_actions';
 import { requestAPI } from './request';
-import { readOpenCodeSettings } from './types';
 import { callOpenCodeProviders } from './api/opencode_client';
 
 /**
  * Initialization data for the opencode_bridge extension.
+ *
+ * v3-final: no JupyterLab plugin settings. Connection config is read from
+ * environment variables by the server extension; the model is picked
+ * dynamically in the inline prompt.
  */
 const plugin: JupyterFrontEndPlugin<void> = {
   id: 'opencode_bridge:plugin',
   description: 'A JupyterLab extension bridging the UI to OpenCode Serve.',
   autoStart: true,
-  optional: [ISettingRegistry, IToolbarWidgetRegistry],
+  optional: [IToolbarWidgetRegistry],
   activate: (
     app: JupyterFrontEnd,
-    settingRegistry: ISettingRegistry | null,
     toolbarRegistry: IToolbarWidgetRegistry | null
   ) => {
     console.log('JupyterLab extension opencode_bridge is activated!');
 
+    // Push the Jupyter server settings into the actions module so that
+    // callOpenCodeEdit can build the right base URL.
+    setOpenCodeServerSettings(app.serviceManager.serverSettings);
+
     // Register the per-cell AI actions into the native Cell toolbar
     // (top-right of the active cell, next to move up/down). Non-code
     // cells get an empty widget so they show no AI buttons.
@@ -47,44 +53,28 @@ const plugin: JupyterFrontEndPlugin<void> = {
       );
     }
 
-    // Load settings + push into the actions module.
-    if (settingRegistry) {
-     void settingRegistry
-       .load(plugin.id)
-       .then(settings => {
-          const apply = () => {
-            const bridge = readOpenCodeSettings(settings.composite);
-            setOpenCodeRuntime({
-              settings: bridge,
-              serverSettings: app.serviceManager.serverSettings
-            });
-            console.log('opencode_bridge settings applied:', bridge);
-          };
-          apply();
-          settings.changed.connect(apply);
-
-         void callOpenCodeProviders(app.serviceManager.serverSettings)
-            .then(data => {
-              const lines: string[] = [
-                '[opencode_bridge] Available OpenCode providers:'
-              ];
-              for (const p of data.providers) {
-                const models = p.models.map(m => m.id).join(', ');
-                lines.push(`  - ${p.id}: ${models || '(no models)'}`);
-              }
-              console.log(lines.join('\n'));
-            })
-            .catch(reason => {
-              console.warn(
-                '[opencode_bridge] Could not fetch providers (is the opencode-bridge server extension enabled and opencode serve running?):',
-                reason
-              );
-            });
-        })
-        .catch(reason => {
-          console.error('Failed to load settings for opencode_bridge.', reason);
-        });
-    }
+    // Fetch available providers once at activation and cache them for the
+    // inline prompt's model picker. Failure is non-fatal (the picker hides).
+    void callOpenCodeProviders(app.serviceManager.serverSettings)
+      .then(data => {
+        setOpenCodeProviders(data);
+        const lines: string[] = [
+          '[opencode_bridge] Available OpenCode providers:'
+        ];
+        for (const p of data.providers) {
+          const models = p.models.map(m => m.id).join(', ');
+          lines.push(`  - ${p.id}: ${models || '(no models)'}`);
+        }
+        // eslint-disable-next-line no-console
+        console.log(lines.join('\n'));
+      })
+      .catch(reason => {
+        // eslint-disable-next-line no-console
++        console.warn(
+          '[opencode_bridge] Could not fetch providers (is the opencode-bridge server extension enabled and opencode serve running?):',
+          reason
+        );
+      });
 
     requestAPI<unknown>('hello', app.serviceManager.serverSettings)
       .then(data => {