|
@@ -50,6 +50,7 @@ import "@jupyterlab/shortcuts-extension";
|
|
|
import "@jupyterlab/tabmanager-extension";
|
|
|
import "@jupyterlab/terminal";
|
|
|
import "@jupyterlab/terminal-extension";
|
|
|
+import "@jupyterlab/theme-dark-extension";
|
|
|
import "@jupyterlab/theme-light-extension";
|
|
|
import "@jupyterlab/tooltip";
|
|
|
import "@jupyterlab/tooltip-extension";
|