Browse Source

Merge pull request #2070 from blink1073/fix-dev-build

Add tabmanager-extension to all-packages
Afshin Darian 8 years ago
parent
commit
26551bbfb6
2 changed files with 2 additions and 0 deletions
  1. 1 0
      packages/all-packages/package.json
  2. 1 0
      packages/all-packages/src/index.ts

+ 1 - 0
packages/all-packages/package.json

@@ -59,6 +59,7 @@
     "@jupyterlab/services": "^0.41.0",
     "@jupyterlab/services-extension": "^0.2.0",
     "@jupyterlab/shortcuts-extension": "^0.2.0",
+    "@jupyterlab/tabmanager-extension": "^0.2.1",
     "@jupyterlab/terminal": "^0.2.0",
     "@jupyterlab/terminal-extension": "^0.2.0",
     "@jupyterlab/tooltip": "^0.2.0",

+ 1 - 0
packages/all-packages/src/index.ts

@@ -46,6 +46,7 @@ import "@jupyterlab/running-extension";
 import "@jupyterlab/services";
 import "@jupyterlab/services-extension";
 import "@jupyterlab/shortcuts-extension";
+import "@jupyterlab/tabmanager-extension";
 import "@jupyterlab/terminal";
 import "@jupyterlab/terminal-extension";
 import "@jupyterlab/tooltip";