Theia API Documentation v1.65.0
    Preparing search index...
    interface CoreConfiguration {
        "application.confirmExit": "never" | "ifRequired" | "always";
        "breadcrumbs.enabled": boolean;
        "files.encoding": string;
        "keyboard.dispatch": "keyCode" | "code";
        "window.menuBarVisibility": "hidden" | "visible" | "classic" | "compact";
        "window.tabbar.enhancedPreview": "classic" | "enhanced" | "visual";
        "window.tabCloseIconPlacement": "start" | "end";
        "window.title": string;
        "window.titleSeparator": string;
        "workbench.colorTheme": string;
        "workbench.commandPalette.history": number;
        "workbench.editor.closeOnFileDelete": boolean;
        "workbench.editor.decorations.badges": boolean;
        "workbench.editor.highlightModifiedTabs": boolean;
        "workbench.editor.mouseBackForwardToNavigate": boolean;
        "workbench.editor.revealIfOpen": boolean;
        "workbench.hover.delay": number;
        "workbench.iconTheme": string;
        "workbench.list.openMode": "singleClick" | "doubleClick";
        "workbench.sash.hoverDelay": number;
        "workbench.sash.size": number;
        "workbench.silentNotifications": boolean;
        "workbench.statusBar.visible": boolean;
        "workbench.tab.maximize": boolean;
        "workbench.tab.shrinkToFit.defaultSize": number;
        "workbench.tab.shrinkToFit.enabled": boolean;
        "workbench.tab.shrinkToFit.minimumSize": number;
        "workbench.tree.renderIndentGuides": "none" | "always" | "onHover";
    }
    Index

    Properties

    "application.confirmExit": "never" | "ifRequired" | "always"
    "breadcrumbs.enabled": boolean
    "files.encoding": string
    "keyboard.dispatch": "keyCode" | "code"
    "window.menuBarVisibility": "hidden" | "visible" | "classic" | "compact"
    "window.tabbar.enhancedPreview": "classic" | "enhanced" | "visual"
    "window.tabCloseIconPlacement": "start" | "end"
    "window.title": string
    "window.titleSeparator": string
    "workbench.colorTheme": string
    "workbench.commandPalette.history": number
    "workbench.editor.closeOnFileDelete": boolean
    "workbench.editor.decorations.badges": boolean
    "workbench.editor.highlightModifiedTabs": boolean
    "workbench.editor.mouseBackForwardToNavigate": boolean
    "workbench.editor.revealIfOpen": boolean
    "workbench.hover.delay": number
    "workbench.iconTheme": string
    "workbench.list.openMode": "singleClick" | "doubleClick"
    "workbench.sash.hoverDelay": number
    "workbench.sash.size": number
    "workbench.silentNotifications": boolean
    "workbench.statusBar.visible": boolean
    "workbench.tab.maximize": boolean
    "workbench.tab.shrinkToFit.defaultSize": number
    "workbench.tab.shrinkToFit.enabled": boolean
    "workbench.tab.shrinkToFit.minimumSize": number
    "workbench.tree.renderIndentGuides": "none" | "always" | "onHover"