Add `@jupyterlab/notebook-extension:export` plugin

4 years ago · efe34eb48a
parent 0417734349
commit efe34eb48a
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'