Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CoreConfiguration

Hierarchy

  • CoreConfiguration

Index

Properties

application.confirmExit: "never" | "ifRequired" | "always"
breadcrumbs.enabled: boolean
files.encoding: string
keyboard.dispatch: "code" | "keyCode"
window.menuBarVisibility: "classic" | "visible" | "hidden" | "compact"
window.tabbar.enhancedPreview: boolean
window.title: string
window.titleSeparator: string
workbench.colorTheme: string
workbench.commandPalette.history: number
workbench.editor.closeOnFileDelete: 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: "always" | "onHover" | "none"