index.js 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. // Copyright (c) Jupyter Development Team.
  2. // Distributed under the terms of the Modified BSD License.
  3. var phosphide = require('phosphide/lib/core/application');
  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 app = new phosphide.Application({
  9. extensions: [
  10. require('jupyterlab/lib/about/plugin').aboutExtension,
  11. require('jupyterlab/lib/console/plugin').consoleExtension,
  12. require('jupyterlab/lib/editorwidget/plugin').editorHandlerExtension,
  13. require('jupyterlab/lib/filebrowser/plugin').fileBrowserExtension,
  14. require('jupyterlab/lib/help/plugin').helpHandlerExtension,
  15. require('jupyterlab/lib/imagewidget/plugin').imageHandlerExtension,
  16. require('jupyterlab/lib/landing/plugin').landingExtension,
  17. require('jupyterlab/lib/main/plugin').mainExtension,
  18. require('jupyterlab/lib/mainmenu/plugin').mainMenuExtension,
  19. require('jupyterlab/lib/notebook/plugin').notebookHandlerExtension,
  20. require('jupyterlab/lib/running/plugin').runningSessionsExtension,
  21. require('jupyterlab/lib/shortcuts/plugin').shortcutsExtension,
  22. require('jupyterlab/lib/terminal/plugin').terminalExtension,
  23. require('jupyterlab/lib/widgets/plugin').widgetManagerExtension,
  24. require('phosphide/lib/extensions/commandpalette').commandPaletteExtension,
  25. ],
  26. providers: [
  27. require('jupyterlab/lib/clipboard/plugin').clipboardProvider,
  28. require('jupyterlab/lib/docregistry/plugin').docRegistryProvider,
  29. require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
  30. require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
  31. require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
  32. require('jupyterlab/lib/services/plugin').servicesProvider,
  33. ]
  34. });
  35. window.onload = function() {
  36. app.run();
  37. }