Merge pull request #797 from afshin/lab-example

Fix broken lab example.

examples/lab/index.js

@@ -18,6 +18,7 @@ lab.registerPlugins([
   require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
   require('jupyterlab/lib/commandpalette/plugin').commandPaletteProvider,
   require('jupyterlab/lib/console/plugin').consoleExtension,
+  require('jupyterlab/lib/console/codemirror/plugin').rendererProvider,
   require('jupyterlab/lib/docregistry/plugin').docRegistryProvider,
   require('jupyterlab/lib/editorwidget/plugin').editorHandlerProvider,
   require('jupyterlab/lib/faq/plugin').faqExtension,
@@ -30,6 +31,7 @@ lab.registerPlugins([
   require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
   require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
   require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
+  require('jupyterlab/lib/notebook/codemirror/plugin').rendererProvider,
   require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
   require('jupyterlab/lib/running/plugin').runningSessionsExtension,
   require('jupyterlab/lib/services/plugin').servicesProvider,

jupyterlab/index.js

@@ -19,6 +19,7 @@ lab.registerPlugins([
   require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
   require('jupyterlab/lib/commandpalette/plugin').commandPaletteProvider,
   require('jupyterlab/lib/console/plugin').consoleExtension,
+  require('jupyterlab/lib/console/codemirror/plugin').rendererProvider,
   require('jupyterlab/lib/csvwidget/plugin').csvHandlerExtension,
   require('jupyterlab/lib/docregistry/plugin').docRegistryProvider,
   require('jupyterlab/lib/editorwidget/plugin').editorHandlerProvider,
@@ -27,19 +28,18 @@ lab.registerPlugins([
   require('jupyterlab/lib/help/plugin').helpHandlerExtension,
   require('jupyterlab/lib/imagewidget/plugin').imageHandlerExtension,
   require('jupyterlab/lib/inspector/plugin').inspectorProvider,
-  require('jupyterlab/lib/leafletwidget/plugin').mapHandlerExtension,
   require('jupyterlab/lib/landing/plugin').landingExtension,
+  require('jupyterlab/lib/leafletwidget/plugin').mapHandlerExtension,
   require('jupyterlab/lib/main/plugin').mainExtension,
   require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
   require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
   require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
+  require('jupyterlab/lib/notebook/codemirror/plugin').rendererProvider,
   require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
   require('jupyterlab/lib/running/plugin').runningSessionsExtension,
   require('jupyterlab/lib/services/plugin').servicesProvider,
   require('jupyterlab/lib/shortcuts/plugin').shortcutsExtension,
-  require('jupyterlab/lib/terminal/plugin').terminalExtension,
-  require('jupyterlab/lib/notebook/codemirror/plugin').rendererProvider,
-  require('jupyterlab/lib/console/codemirror/plugin').rendererProvider
+  require('jupyterlab/lib/terminal/plugin').terminalExtension
 
 
   // require('jupyter-js-widgets-labextension/lib/plugin').widgetManagerExtension,