Interface IShell

An interface with the necessary properties from JupyterFrontEnd.IShell for the WidgetLSPAdapterTracker. Used to track the active DocumentWidget.

For more info see https://github.com/jupyterlab/jupyterlab/pull/14920#discussion_r1316507818 and https://github.com/jupyterlab/jupyterlab/pull/14920#discussion_r1305019718 .

interface IShell {
    activeWidget: null | Widget;
    currentChanged: ISignal<IShell, IChangedArgs<Widget>>;
}

Properties

activeWidget: null | Widget

The active widget in the shell's main area.

currentChanged: ISignal<IShell, IChangedArgs<Widget>>

A signal emitted when main area's current focus changes.