import { JupyterFrontEndPlugin } from '@jupyterlab/application'; /** * Lets the user toggle individual left-sidebar tabs from * View > Appearance > Left Sidebar. Removing a widget from a `LabShell` * side area is done by setting `widget.parent = null`: the StackedPanel * emits `widgetRemoved`, which the SideBarHandler responds to by removing * the matching tab. The widget instance is preserved, so we can re-add it * later via `labShell.add` with its original rank. * * The menu placement is contributed declaratively in * `schema/sidebar.json`, so this plugin only registers commands and * applies state — it does not touch `IMainMenu` directly. * * The preference is persisted to `xtralab:sidebar` settings so the choice * survives reloads. */ declare const plugin: JupyterFrontEndPlugin; export default plugin;