Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CoreConfiguration

Hierarchy

  • CoreConfiguration

Index

Properties

application.confirmExit

application.confirmExit: "never" | "ifRequired" | "always"

breadcrumbs.enabled

breadcrumbs.enabled: boolean

files.encoding

files.encoding: string

keyboard.dispatch

keyboard.dispatch: "code" | "keyCode"

window.menuBarVisibility

window.menuBarVisibility: "classic" | "visible" | "hidden" | "compact"

workbench.colorTheme

workbench.colorTheme: string

workbench.commandPalette.history

workbench.commandPalette.history: number

workbench.editor.closeOnFileDelete

workbench.editor.closeOnFileDelete: boolean

workbench.editor.highlightModifiedTabs

workbench.editor.highlightModifiedTabs: boolean

workbench.hover.delay

workbench.hover.delay: number

workbench.iconTheme

workbench.iconTheme: null | string

workbench.list.openMode

workbench.list.openMode: "singleClick" | "doubleClick"

workbench.silentNotifications

workbench.silentNotifications: boolean

workbench.statusBar.visible

workbench.statusBar.visible: boolean

workbench.tree.renderIndentGuides

workbench.tree.renderIndentGuides: "always" | "onHover" | "none"