diff --git a/src/index.ts b/src/index.ts index 2b19c838..c2470461 100644 --- a/src/index.ts +++ b/src/index.ts @@ -122,10 +122,10 @@ const extension: JupyterFrontEndPlugin = { onPreviewEnabledChanged(); }); - /** + /** * Handler for when the Jupyter Lab theme changes. */ - const onThemeChanged = () => { + const onThemeChanged = () => { if (!panelDpms || !panelGcs) return; const isLightTheme = themeManager.theme ? themeManager.isLight(themeManager.theme) @@ -181,8 +181,6 @@ const extension: JupyterFrontEndPlugin = { new NotebookButtonExtension(app as JupyterLab, launcher, themeManager) ); - - const loadDpmsWidget = (value: string) => { // If DPMS is not enabled, no-op. if (!panelDpms) return; @@ -275,7 +273,8 @@ const extension: JupyterFrontEndPlugin = { (newValue.title.label === 'Launcher' || newValue.title.label === 'Config Setup' || newValue.title.label === 'Clusters' || - newValue.title.label === 'Serverless' || newValue.title.label === 'Settings') && + newValue.title.label === 'Serverless' || + newValue.title.label === 'Settings') && lastClusterName !== '' ) { localStorage.setItem('oldNotebookValue', lastClusterName || '');