Const default
default: JupyterFrontEndPlugin<void> = {id: '@jupyterlab/theme-dark-extension:plugin',requires: [IThemeManager, ITranslator],activate: (app: JupyterFrontEnd,manager: IThemeManager,translator: ITranslator) => {const trans = translator.load('jupyterlab');const style = '@jupyterlab/theme-dark-extension/index.css';manager.register({name: 'JupyterLab Dark',displayName: trans.__('JupyterLab Dark'),isLight: false,themeScrollbars: true,load: () => manager.loadCSS(style),unload: () => Promise.resolve(undefined)});},autoStart: true}