settings.json /size: 1885 b    last modification: 2020-07-01 14:35
1{
2    "window.zoomLevel": 2,
3    "editor.renderWhitespace": "all",
4    "telemetry.enableCrashReporter": false,
5    "telemetry.enableTelemetry": false,
6    "editor.fontFamily": "Dejavu Sans Mono, Consolas, 'Courier New', monospace",
7    "window.autoDetectHighContrast": false,
8    "zenMode.hideLineNumbers": false,
9    "zenMode.centerLayout": false,
10    "zenMode.fullScreen": false,
11    "zenMode.hideTabs": false,
12    "workbench.editor.showIcons": false,
13    "workbench.settings.enableNaturalLanguageSearch": false,
14    "window.enableMenuBarMnemonics": false,
15    "search.location": "panel",
16    "breadcrumbs.enabled": false,
17    "workbench.activityBar.visible": false,
18    "editor.minimap.enabled": false,
19    "workbench.iconTheme": null,
20    "extensions.ignoreRecommendations": true,
21    "editor.renderControlCharacters": true,
22    "terminal.integrated.scrollback": 5000,
23    "workbench.colorTheme": "ConTeXt",
24 // "[context.pdf]": { "files.encoding": "cp1252"},
25    "terminal.integrated.fontSize": 10,
26    "terminal.integrated.rendererType": "canvas",
27    "workbench.colorCustomizations": {
28        "terminal.ansiBlack":         "#000000",
29        "terminal.ansiWhite":         "#FFFFFF",
30        "terminal.ansiRed":           "#7F0000",
31        "terminal.ansiGreen":         "#007F00",
32        "terminal.ansiBlue":          "#00007F",
33        "terminal.ansiMagenta":       "#7F007F",
34        "terminal.ansiCyan":          "#007F7F",
35        "terminal.ansiYellow":        "#7F7F00",
36        "terminal.ansiBrightBlack":   "#000000",
37        "terminal.ansiBrightWhite":   "#FFFFFF",
38        "terminal.ansiBrightRed":     "#7F0000",
39        "terminal.ansiBrightGreen":   "#007F00",
40        "terminal.ansiBrightBlue":    "#00007F",
41        "terminal.ansiBrightMagenta": "#7F007F",
42        "terminal.ansiBrightCyan":    "#007F7F",
43        "terminal.ansiBrightYellow":  "#7F7F00",
44    }
45}
46