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

    Interface Tab

    Represents a tab within a group of tabs. Tabs are merely the graphical representation within the editor area. A backing editor is not a guarantee.

    interface Tab {
        group: TabGroup;
        input: unknown;
        isActive: boolean;
        isDirty: boolean;
        isPinned: boolean;
        isPreview: boolean;
        label: string;
    }
    Index

    Properties

    group input isActive isDirty isPinned isPreview label

    Properties

    group: TabGroup

    The group which the tab belongs to.

    input: unknown

    Defines the structure of the tab i.e. text, notebook, custom, etc. Resource and other useful properties are defined on the tab kind.

    isActive: boolean

    Whether or not the tab is currently active. This is dictated by being the selected tab in the group.

    isDirty: boolean

    Whether or not the dirty indicator is present on the tab.

    isPinned: boolean

    Whether or not the tab is pinned (pin icon is present).

    isPreview: boolean

    Whether or not the tab is in preview mode.

    label: string

    The text displayed on the tab.

    Settings

    Member Visibility

    On This Page

    Properties