Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TerminalConfiguration

Hierarchy

  • TerminalConfiguration

Index

Properties

terminal.enableCopy: boolean
terminal.enablePaste: boolean
terminal.integrated.confirmOnExit: ConfirmOnExitType
terminal.integrated.copyOnSelection: boolean
terminal.integrated.cursorBlinking: boolean
terminal.integrated.cursorStyle: CursorStyleVSCode
terminal.integrated.cursorWidth: number
terminal.integrated.defaultProfile.linux: string
terminal.integrated.defaultProfile.osx: string
terminal.integrated.defaultProfile.windows: string
terminal.integrated.drawBoldTextInBrightColors: boolean
terminal.integrated.enablePersistentSessions: boolean
terminal.integrated.fastScrollSensitivity: number
terminal.integrated.fontFamily: string
terminal.integrated.fontSize: number
terminal.integrated.fontWeight: FontWeight
terminal.integrated.fontWeightBold: FontWeight
terminal.integrated.letterSpacing: number
terminal.integrated.lineHeight: number
terminal.integrated.profiles.linux: Profiles
terminal.integrated.profiles.osx: Profiles
terminal.integrated.profiles.windows: Profiles
terminal.integrated.rendererType: TerminalRendererType
terminal.integrated.scrollback: number
terminal.integrated.shell.linux: undefined | null | string
terminal.integrated.shell.osx: undefined | null | string
terminal.integrated.shell.windows: undefined | null | string
terminal.integrated.shellArgs.linux: string[]
terminal.integrated.shellArgs.osx: string[]
terminal.integrated.shellArgs.windows: string[]