Merge pull request #337 from jtpio/fix-export

Add `@jupyterlab/notebook-extension:export` plugin
4 years ago · 22d04892c9
parent 5a18e3f923 efe34eb48a
commit 22d04892c9
1 changed files with 1 additions and 0 deletions
--- 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'