Merge pull request #187 from jtpio/istatedb-plugin

Provide `IStateDB`
5 years ago · 9eaa171504
parent 9e36fde26e ee4e266e17
commit 9eaa171504
1 changed files with 1 additions and 0 deletions
--- a/app/index.js
+++ b/app/index.js
@ -102,6 +102,7 @@ async function main() {
      [
        '@jupyterlab/apputils-extension:palette',
        '@jupyterlab/apputils-extension:settings',
+        '@jupyterlab/apputils-extension:state',
        '@jupyterlab/apputils-extension:themes',
        '@jupyterlab/apputils-extension:themes-palette-menu'
      ].includes(id)