Theia API Documentation v1.68.0
    Preparing search index...

    Interface State

    interface State {
        locked?: boolean;
        pendingSelectedChannelName?: string;
        selectedChannelName?: string;
    }
    Index

    Properties

    locked? pendingSelectedChannelName? selectedChannelName?

    Properties

    locked?: boolean
    pendingSelectedChannelName?: string

    Channel name waiting to be restored when it becomes available

    selectedChannelName?: string

    Settings

    Member Visibility

    On This Page

    Properties