Bladeren bron

Enable clipboard plugin.

Afshin Darian 8 jaren geleden
bovenliggende
commit
9892017bc9
2 gewijzigde bestanden met toevoegingen van 8 en 6 verwijderingen
  1. 6 6
      jupyterlab/index.js
  2. 2 0
      src/tsconfig.json

+ 6 - 6
jupyterlab/index.js

@@ -14,6 +14,7 @@ var lab = new JupyterLab();
 
 lab.registerPlugins([
   require('jupyterlab/lib/about/plugin').aboutExtension,
+  require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
   require('jupyterlab/lib/commandpalette/plugin').commandPaletteExtension,
   // require('jupyterlab/lib/console/plugin').consoleExtension,
   // require('jupyterlab/lib/csvwidget/plugin').csvHandlerExtension,
@@ -23,23 +24,22 @@ lab.registerPlugins([
   require('jupyterlab/lib/filebrowser/plugin').fileBrowserProvider,
   // require('jupyterlab/lib/help/plugin').helpHandlerExtension,
   // require('jupyterlab/lib/imagewidget/plugin').imageHandlerExtension,
-  // require('jupyterlab/lib/inspector/plugin').inspectorExtension,
+  // require('jupyterlab/lib/inspector/plugin').inspectorProvider,
   // require('jupyterlab/lib/leafletwidget/plugin').mapHandlerExtension,
+  // require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
   // require('jupyterlab/lib/landing/plugin').landingExtension,
   require('jupyterlab/lib/main/plugin').mainExtension,
   require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
   // require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
   // require('jupyterlab/lib/notebook/plugin').notebookHandlerExtension,
+  // 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('jupyter-js-widgets-labextension/lib/plugin').widgetManagerExtension,
 
-  // require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
-  // require('jupyterlab/lib/inspector/plugin').inspectorProvider,
-  // require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
-  // require('jupyterlab/lib/rendermime/plugin').renderMimeProvider
+
+  // require('jupyter-js-widgets-labextension/lib/plugin').widgetManagerExtension,
 ]);
 
 window.onload = function() { lab.start(); }

+ 2 - 0
src/tsconfig.json

@@ -11,6 +11,8 @@
   "files": [
     "about/plugin",
     "application/index",
+    "clipboard/index",
+    "clipboard/plugin",
     "commandpalette/plugin",
     "dialog/index",
     "docmanager/index",