diff --git a/app/index.js b/app/index.js index 7e6d972cb..5fd3d23eb 100644 --- a/app/index.js +++ b/app/index.js @@ -120,6 +120,7 @@ async function main() { require('@jupyterlab/notebook-extension').default.filter(({ id }) => [ '@jupyterlab/notebook-extension:code-console', + '@jupyterlab/notebook-extension:export', '@jupyterlab/notebook-extension:factory', '@jupyterlab/notebook-extension:tracker', '@jupyterlab/notebook-extension:widget-factory'