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