index.js 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  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').plugin,
  11. require('jupyterlab/lib/application/plugin').plugin,
  12. require('jupyterlab/lib/clipboard/plugin').plugin,
  13. require('jupyterlab/lib/codemirror/plugin').editorServices,
  14. require('jupyterlab/lib/codemirror/plugin').editorCommands,
  15. require('jupyterlab/lib/commandlinker/plugin').plugin,
  16. require('jupyterlab/lib/commandpalette/plugin').plugin,
  17. require('jupyterlab/lib/console/plugin').plugin,
  18. require('jupyterlab/lib/console/codemirror/plugin').plugin,
  19. require('jupyterlab/lib/docregistry/plugin').plugin,
  20. require('jupyterlab/lib/docmanager/plugin').plugin,
  21. require('jupyterlab/lib/editorwidget/plugin').plugin,
  22. require('jupyterlab/lib/faq/plugin').plugin,
  23. require('jupyterlab/lib/filebrowser/plugin').plugin,
  24. require('jupyterlab/lib/help/plugin').plugin,
  25. require('jupyterlab/lib/imagewidget/plugin').plugin,
  26. require('jupyterlab/lib/inspector/plugin').plugin,
  27. require('jupyterlab/lib/landing/plugin').plugin,
  28. require('jupyterlab/lib/launcher/plugin').plugin,
  29. require('jupyterlab/lib/layoutrestorer/plugin').plugin,
  30. require('jupyterlab/lib/mainmenu/plugin').plugin,
  31. require('jupyterlab/lib/markdownwidget/plugin').plugin,
  32. require('jupyterlab/lib/notebook/plugin').plugin,
  33. require('jupyterlab/lib/notebook/codemirror/plugin').plugin,
  34. require('jupyterlab/lib/rendermime/plugin').plugin,
  35. require('jupyterlab/lib/running/plugin').plugin,
  36. require('jupyterlab/lib/services/plugin').plugin,
  37. require('jupyterlab/lib/shortcuts/plugin').plugin,
  38. require('jupyterlab/lib/statedb/plugin').plugin,
  39. require('jupyterlab/lib/terminal/plugin').plugin
  40. ]);
  41. window.onload = function() { lab.start(); }