From ee4e266e17f94ab665c07ae67cd3556e626b885f Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Thu, 22 Jul 2021 21:00:41 +0200 Subject: [PATCH] Provide `IStateDB` --- app/index.js | 1 + 1 file changed, 1 insertion(+) diff --git a/app/index.js b/app/index.js index 3d4f16a1b..a5121ee22 100644 --- 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)