jupyterlab 4.0.12__py3-none-any.whl → 4.1.0__py3-none-any.whl

jupyterlab/static/index.out.js

@@ -11,7 +11,9 @@ import './style.js';
 async function createModule(scope, module) {
   try {
     const factory = await window._JUPYTERLAB[scope].get(module);
-    return factory();
+    const instance = factory();
+    instance.__scope__ = scope;
+    return instance;
   } catch(e) {
     console.warn(`Failed to create module: package: ${scope}; module: ${module}`);
     throw e;
@@ -87,6 +89,8 @@ export async function main() {
     }
   });
 
+  const allPlugins = [];
+
   /**
    * Iterate over active plugins in an extension.
    *
@@ -105,7 +109,18 @@ export async function main() {
 
     let plugins = Array.isArray(exports) ? exports : [exports];
     for (let plugin of plugins) {
-      if (PageConfig.Extension.isDisabled(plugin.id)) {
+      const isDisabled = PageConfig.Extension.isDisabled(plugin.id);
+      allPlugins.push({
+        id: plugin.id,
+        description: plugin.description,
+        requires: plugin.requires ?? [],
+        optional: plugin.optional ?? [],
+        provides: plugin.provides ?? null,
+        autoStart: plugin.autoStart,
+        enabled: !isDisabled,
+        extension: extension.__scope__
+      });
+      if (isDisabled) {
         disabled.push(plugin.id);
         continue;
       }
@@ -122,6 +137,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/javascript-extension')) {
     try {
       let ext = require('@jupyterlab/javascript-extension');
+      ext.__scope__ = '@jupyterlab/javascript-extension';
       for (let plugin of activePlugins(ext)) {
         mimeExtensions.push(plugin);
       }
@@ -132,6 +148,18 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/json-extension')) {
     try {
       let ext = require('@jupyterlab/json-extension');
+      ext.__scope__ = '@jupyterlab/json-extension';
+      for (let plugin of activePlugins(ext)) {
+        mimeExtensions.push(plugin);
+      }
+    } catch (e) {
+      console.error(e);
+    }
+  }
+  if (!queuedFederated.includes('@jupyterlab/mermaid-extension')) {
+    try {
+      let ext = require('@jupyterlab/mermaid-extension/lib/mime.js');
+      ext.__scope__ = '@jupyterlab/mermaid-extension';
       for (let plugin of activePlugins(ext)) {
         mimeExtensions.push(plugin);
       }
@@ -142,6 +170,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/pdf-extension')) {
     try {
       let ext = require('@jupyterlab/pdf-extension');
+      ext.__scope__ = '@jupyterlab/pdf-extension';
       for (let plugin of activePlugins(ext)) {
         mimeExtensions.push(plugin);
       }
@@ -152,6 +181,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/vega5-extension')) {
     try {
       let ext = require('@jupyterlab/vega5-extension');
+      ext.__scope__ = '@jupyterlab/vega5-extension';
       for (let plugin of activePlugins(ext)) {
         mimeExtensions.push(plugin);
       }
@@ -176,6 +206,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/application-extension')) {
     try {
       let ext = require('@jupyterlab/application-extension');
+      ext.__scope__ = '@jupyterlab/application-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -186,6 +217,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/apputils-extension')) {
     try {
       let ext = require('@jupyterlab/apputils-extension');
+      ext.__scope__ = '@jupyterlab/apputils-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -196,6 +228,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/cell-toolbar-extension')) {
     try {
       let ext = require('@jupyterlab/cell-toolbar-extension');
+      ext.__scope__ = '@jupyterlab/cell-toolbar-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -206,6 +239,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/celltags-extension')) {
     try {
       let ext = require('@jupyterlab/celltags-extension');
+      ext.__scope__ = '@jupyterlab/celltags-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -216,6 +250,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/codemirror-extension')) {
     try {
       let ext = require('@jupyterlab/codemirror-extension');
+      ext.__scope__ = '@jupyterlab/codemirror-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -226,6 +261,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/completer-extension')) {
     try {
       let ext = require('@jupyterlab/completer-extension');
+      ext.__scope__ = '@jupyterlab/completer-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -236,6 +272,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/console-extension')) {
     try {
       let ext = require('@jupyterlab/console-extension');
+      ext.__scope__ = '@jupyterlab/console-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -246,6 +283,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/csvviewer-extension')) {
     try {
       let ext = require('@jupyterlab/csvviewer-extension');
+      ext.__scope__ = '@jupyterlab/csvviewer-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -256,6 +294,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/debugger-extension')) {
     try {
       let ext = require('@jupyterlab/debugger-extension');
+      ext.__scope__ = '@jupyterlab/debugger-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -266,6 +305,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/docmanager-extension')) {
     try {
       let ext = require('@jupyterlab/docmanager-extension');
+      ext.__scope__ = '@jupyterlab/docmanager-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -276,6 +316,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/documentsearch-extension')) {
     try {
       let ext = require('@jupyterlab/documentsearch-extension');
+      ext.__scope__ = '@jupyterlab/documentsearch-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -286,6 +327,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/extensionmanager-extension')) {
     try {
       let ext = require('@jupyterlab/extensionmanager-extension');
+      ext.__scope__ = '@jupyterlab/extensionmanager-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -296,6 +338,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/filebrowser-extension')) {
     try {
       let ext = require('@jupyterlab/filebrowser-extension');
+      ext.__scope__ = '@jupyterlab/filebrowser-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -306,6 +349,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/fileeditor-extension')) {
     try {
       let ext = require('@jupyterlab/fileeditor-extension');
+      ext.__scope__ = '@jupyterlab/fileeditor-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -316,6 +360,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/help-extension')) {
     try {
       let ext = require('@jupyterlab/help-extension');
+      ext.__scope__ = '@jupyterlab/help-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -326,6 +371,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/htmlviewer-extension')) {
     try {
       let ext = require('@jupyterlab/htmlviewer-extension');
+      ext.__scope__ = '@jupyterlab/htmlviewer-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -336,6 +382,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/hub-extension')) {
     try {
       let ext = require('@jupyterlab/hub-extension');
+      ext.__scope__ = '@jupyterlab/hub-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -346,6 +393,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/imageviewer-extension')) {
     try {
       let ext = require('@jupyterlab/imageviewer-extension');
+      ext.__scope__ = '@jupyterlab/imageviewer-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -356,6 +404,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/inspector-extension')) {
     try {
       let ext = require('@jupyterlab/inspector-extension');
+      ext.__scope__ = '@jupyterlab/inspector-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -366,6 +415,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/launcher-extension')) {
     try {
       let ext = require('@jupyterlab/launcher-extension');
+      ext.__scope__ = '@jupyterlab/launcher-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -376,6 +426,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/logconsole-extension')) {
     try {
       let ext = require('@jupyterlab/logconsole-extension');
+      ext.__scope__ = '@jupyterlab/logconsole-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -386,6 +437,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/lsp-extension')) {
     try {
       let ext = require('@jupyterlab/lsp-extension');
+      ext.__scope__ = '@jupyterlab/lsp-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -396,6 +448,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/mainmenu-extension')) {
     try {
       let ext = require('@jupyterlab/mainmenu-extension');
+      ext.__scope__ = '@jupyterlab/mainmenu-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -406,6 +459,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/markdownviewer-extension')) {
     try {
       let ext = require('@jupyterlab/markdownviewer-extension');
+      ext.__scope__ = '@jupyterlab/markdownviewer-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -416,6 +470,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/markedparser-extension')) {
     try {
       let ext = require('@jupyterlab/markedparser-extension');
+      ext.__scope__ = '@jupyterlab/markedparser-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -426,6 +481,18 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/mathjax-extension')) {
     try {
       let ext = require('@jupyterlab/mathjax-extension');
+      ext.__scope__ = '@jupyterlab/mathjax-extension';
+      for (let plugin of activePlugins(ext)) {
+        register.push(plugin);
+      }
+    } catch (e) {
+      console.error(e);
+    }
+  }
+  if (!queuedFederated.includes('@jupyterlab/mermaid-extension')) {
+    try {
+      let ext = require('@jupyterlab/mermaid-extension');
+      ext.__scope__ = '@jupyterlab/mermaid-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -436,6 +503,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/metadataform-extension')) {
     try {
       let ext = require('@jupyterlab/metadataform-extension');
+      ext.__scope__ = '@jupyterlab/metadataform-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -446,6 +514,18 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/notebook-extension')) {
     try {
       let ext = require('@jupyterlab/notebook-extension');
+      ext.__scope__ = '@jupyterlab/notebook-extension';
+      for (let plugin of activePlugins(ext)) {
+        register.push(plugin);
+      }
+    } catch (e) {
+      console.error(e);
+    }
+  }
+  if (!queuedFederated.includes('@jupyterlab/pluginmanager-extension')) {
+    try {
+      let ext = require('@jupyterlab/pluginmanager-extension');
+      ext.__scope__ = '@jupyterlab/pluginmanager-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -456,6 +536,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/rendermime-extension')) {
     try {
       let ext = require('@jupyterlab/rendermime-extension');
+      ext.__scope__ = '@jupyterlab/rendermime-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -466,6 +547,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/running-extension')) {
     try {
       let ext = require('@jupyterlab/running-extension');
+      ext.__scope__ = '@jupyterlab/running-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -476,6 +558,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/settingeditor-extension')) {
     try {
       let ext = require('@jupyterlab/settingeditor-extension');
+      ext.__scope__ = '@jupyterlab/settingeditor-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -486,6 +569,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/shortcuts-extension')) {
     try {
       let ext = require('@jupyterlab/shortcuts-extension');
+      ext.__scope__ = '@jupyterlab/shortcuts-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -496,6 +580,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/statusbar-extension')) {
     try {
       let ext = require('@jupyterlab/statusbar-extension');
+      ext.__scope__ = '@jupyterlab/statusbar-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -506,6 +591,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/terminal-extension')) {
     try {
       let ext = require('@jupyterlab/terminal-extension');
+      ext.__scope__ = '@jupyterlab/terminal-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -516,6 +602,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/theme-dark-extension')) {
     try {
       let ext = require('@jupyterlab/theme-dark-extension');
+      ext.__scope__ = '@jupyterlab/theme-dark-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -526,6 +613,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/theme-light-extension')) {
     try {
       let ext = require('@jupyterlab/theme-light-extension');
+      ext.__scope__ = '@jupyterlab/theme-light-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -536,6 +624,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/toc-extension')) {
     try {
       let ext = require('@jupyterlab/toc-extension');
+      ext.__scope__ = '@jupyterlab/toc-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -546,6 +635,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/tooltip-extension')) {
     try {
       let ext = require('@jupyterlab/tooltip-extension');
+      ext.__scope__ = '@jupyterlab/tooltip-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -556,6 +646,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/translation-extension')) {
     try {
       let ext = require('@jupyterlab/translation-extension');
+      ext.__scope__ = '@jupyterlab/translation-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -566,6 +657,7 @@ export async function main() {
   if (!queuedFederated.includes('@jupyterlab/ui-components-extension')) {
     try {
       let ext = require('@jupyterlab/ui-components-extension');
+      ext.__scope__ = '@jupyterlab/ui-components-extension';
       for (let plugin of activePlugins(ext)) {
         register.push(plugin);
       }
@@ -603,9 +695,11 @@ export async function main() {
       patterns: PageConfig.Extension.deferred
         .map(function (val) { return val.raw; })
     },
+    availablePlugins: allPlugins
   });
   register.forEach(function(item) { lab.registerPluginModule(item); });
-  lab.start({ ignorePlugins });
+
+  lab.start({ ignorePlugins, bubblingKeydown: true });
 
   // Expose global app instance when in dev mode or when toggled explicitly.
   var exposeAppInBrowser = (PageConfig.getOption('exposeAppInBrowser') || '').toLowerCase() === 'true';