{ "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", "editor.bracketPairColorization.enabled": false, "editor.bracketPairColorization.independentColorPoolPerBracketType": false, "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" } }