Theia API Documentation v1.65.0
    Preparing search index...
    interface TabDto {
        editorId?: string;
        id: string;
        input: AnyInputDto;
        isActive: boolean;
        isDirty: boolean;
        isPinned: boolean;
        isPreview: boolean;
        label: string;
    }
    Index

    Properties

    editorId?: string
    id: string
    isActive: boolean
    isDirty: boolean
    isPinned: boolean
    isPreview: boolean
    label: string