1 files changed, 45 insertions, 0 deletions
diff --git a/context/data/vscode/settings.json b/context/data/vscode/settings.json
new file mode 100644
index 000000000..f2c9ddf32
--- /dev/null
+++ b/context/data/vscode/settings.json
@@ -0,0 +1,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": "dom",
+    "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",
+    }
+}