Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CoreConfiguration

Hierarchy

  • CoreConfiguration

Index

Properties

application.confirmExit

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

files.encoding

files.encoding: string

keyboard.dispatch

keyboard.dispatch: "code" | "keyCode"

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.iconTheme

workbench.iconTheme: string | null

workbench.list.openMode

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

workbench.silentNotifications

workbench.silentNotifications: boolean

workbench.tree.renderIndentGuides

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