Theia API Documentation v1.65.0
    Preparing search index...
    interface State {
        empty: boolean;
        expansion: ExpansionState;
        lastActiveTabIndex?: number;
        lastPanelSize?: number;
        pendingUpdate: Promise<void>;
    }
    Index

    Properties

    empty: boolean

    Indicates whether the panel is empty.

    expansion: ExpansionState

    Indicates whether the panel is expanded, collapsed, or in a transition between the two.

    lastActiveTabIndex?: number

    The index of the last tab that was selected. When the panel is expanded, it tries to restore the tab selection to the previous state.

    lastPanelSize?: number

    The width or height of the panel before it was collapsed. When the panel is expanded, it tries to restore its size to this value.

    pendingUpdate: Promise<void>

    A promise that is resolved when the currently pending side panel updates are done.