Browse Source

Add handling of ignorePlugins

Steven Silvester 8 years ago
parent
commit
833912c090
2 changed files with 11 additions and 2 deletions
  1. 2 1
      jupyterlab/extension.py
  2. 9 1
      jupyterlab/index.template.js

+ 2 - 1
jupyterlab/extension.py

@@ -57,6 +57,7 @@ class LabHandler(IPythonHandler):
                 css_files.append(ujoin(static_prefix, css_file))
 
         configData = dict(self.page_config_data)
+        configData.setdefault('ignorePlugins', [])
         configData.update(dict(
             terminalsAvailable=self.settings.get('terminals_available', False),
         ))
@@ -69,7 +70,7 @@ class LabHandler(IPythonHandler):
             mathjax_url=self.mathjax_url,
             mathjax_config=mathjax_config,
             jupyterlab_css=css_files,
-            jupyterlab_bundles=bundles,
+            jupyterlab_bundles=bundles
         )
         config['jupyterlab_config'] = configData
         return config

+ 9 - 1
jupyterlab/index.template.js

@@ -3,6 +3,7 @@ require('font-awesome/css/font-awesome.min.css');
 require('@jupyterlab/default-theme/style/index.css');
 
 var app = require('@jupyterlab/application').JupyterLab;
+var utils = require('@jupyterlab/services').utils;
 
 
 function main() {
@@ -18,7 +19,14 @@ function main() {
         console.error(e);
     }
     {{/each}}
-    lab.start();
+    var ignorePlugins = [];
+    try {
+        var option = utils.getConfigOption('ignorePlugins');
+        ignorePlugins = JSON.parse(option);
+    } catch (e) {
+        console.error("Invalid ignorePlugins config:", option);
+    }
+    lab.start({ "ignorePlugins": ignorePlugins });
 }
 
 window.onload = main;