{
    "window.zoomLevel": 2,
    "editor.renderWhitespace": "all",
    "telemetry.enableCrashReporter": false,
    "telemetry.enableTelemetry": false,
    "editor.fontFamily": "Dejavu Sans Mono, Consolas, 'Courier New', monospace",
    "window.autoDetectHighContrast": false,
    "zenMode.hideLineNumbers": false,
    "zenMode.centerLayout": false,
    "zenMode.fullScreen": false,
    "zenMode.hideTabs": false,
    "workbench.editor.showIcons": false,
    "workbench.settings.enableNaturalLanguageSearch": false,
    "window.enableMenuBarMnemonics": false,
    "search.location": "panel",
    "breadcrumbs.enabled": false,
    "workbench.activityBar.visible": false,
    "editor.minimap.enabled": false,
    "workbench.iconTheme": null,
    "extensions.ignoreRecommendations": true,
    "editor.renderControlCharacters": true,
    "terminal.integrated.scrollback": 5000,
    "workbench.colorTheme": "ConTeXt",
 // "[context.pdf]": { "files.encoding": "cp1252"},
    "terminal.integrated.fontSize": 10,
    "terminal.integrated.rendererType": "canvas",
    "workbench.colorCustomizations": {
        "terminal.ansiBlack":         "#000000",
        "terminal.ansiWhite":         "#FFFFFF",
        "terminal.ansiRed":           "#7F0000",
        "terminal.ansiGreen":         "#007F00",
        "terminal.ansiBlue":          "#00007F",
        "terminal.ansiMagenta":       "#7F007F",
        "terminal.ansiCyan":          "#007F7F",
        "terminal.ansiYellow":        "#7F7F00",
        "terminal.ansiBrightBlack":   "#000000",
        "terminal.ansiBrightWhite":   "#FFFFFF",
        "terminal.ansiBrightRed":     "#7F0000",
        "terminal.ansiBrightGreen":   "#007F00",
        "terminal.ansiBrightBlue":    "#00007F",
        "terminal.ansiBrightMagenta": "#7F007F",
        "terminal.ansiBrightCyan":    "#007F7F",
        "terminal.ansiBrightYellow":  "#7F7F00",
    }
}
