Interface TerminalConfiguration

interface TerminalConfiguration {
    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[];
}

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[]