index.js 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. // Copyright (c) Jupyter Development Team.
  2. // Distributed under the terms of the Modified BSD License.
  3. var JupyterLab = require('jupyterlab/lib/application').JupyterLab;
  4. // ES6 Promise polyfill
  5. require('es6-promise').polyfill();
  6. require('font-awesome/css/font-awesome.min.css');
  7. require('jupyterlab/lib/default-theme/index.css');
  8. var lab = new JupyterLab();
  9. lab.registerPlugins([
  10. require('jupyterlab/lib/about/plugin').aboutExtension,
  11. require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
  12. require('jupyterlab/lib/commandpalette/plugin').commandPaletteProvider,
  13. require('jupyterlab/lib/console/plugin').consoleExtension,
  14. require('jupyterlab/lib/docregistry/plugin').docRegistryProvider,
  15. require('jupyterlab/lib/editorwidget/plugin').editorHandlerProvider,
  16. require('jupyterlab/lib/faq/plugin').faqExtension,
  17. require('jupyterlab/lib/filebrowser/plugin').fileBrowserProvider,
  18. require('jupyterlab/lib/help/plugin').helpHandlerExtension,
  19. require('jupyterlab/lib/imagewidget/plugin').imageHandlerExtension,
  20. require('jupyterlab/lib/inspector/plugin').inspectorProvider,
  21. require('jupyterlab/lib/landing/plugin').landingExtension,
  22. require('jupyterlab/lib/main/plugin').mainExtension,
  23. require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
  24. require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
  25. require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
  26. require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
  27. require('jupyterlab/lib/running/plugin').runningSessionsExtension,
  28. require('jupyterlab/lib/services/plugin').servicesProvider,
  29. require('jupyterlab/lib/shortcuts/plugin').shortcutsExtension,
  30. require('jupyterlab/lib/terminal/plugin').terminalExtension
  31. ]);
  32. window.onload = function() { lab.start(); }