summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/context/data/vscode/settings.json
blob: 89f43520ec5427f47b990825311610d29927a0e4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
{
    "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",
    }
}