mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-18 11:55:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add command palette

Browse Source
This commit is contained in:
Jeremy Tuloup 2020-12-06 22:34:55 +01:00
parent 1fefdea5f2
commit 885833967c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
builder/index.js
View File

@ -71,6 +71,7 @@ async function main() {
require('@jupyterlab-classic/application-extension'), require('@jupyterlab-classic/application-extension'),
require('@jupyterlab/apputils-extension').default.filter(({ id }) => require('@jupyterlab/apputils-extension').default.filter(({ id }) =>
[ [
'@jupyterlab/apputils-extension:palette',
'@jupyterlab/apputils-extension:settings', '@jupyterlab/apputils-extension:settings',
'@jupyterlab/apputils-extension:themes', '@jupyterlab/apputils-extension:themes',
'@jupyterlab/apputils-extension:themes-palette-menu' '@jupyterlab/apputils-extension:themes-palette-menu'