aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dot_config/private_Code/User')
-rw-r--r--dot_config/private_Code/User/settings.json12
1 files changed, 11 insertions, 1 deletions
diff --git a/dot_config/private_Code/User/settings.json b/dot_config/private_Code/User/settings.json
index b2375e1..2be0933 100644
--- a/dot_config/private_Code/User/settings.json
+++ b/dot_config/private_Code/User/settings.json
@@ -105,5 +105,15 @@
105 "git.showPushSuccessNotification": true, 105 "git.showPushSuccessNotification": true,
106 "editor.inlineSuggest.enabled": true, 106 "editor.inlineSuggest.enabled": true,
107 "window.titleBarStyle": "custom", 107 "window.titleBarStyle": "custom",
108 "workbench.colorTheme": "Theme Flat", 108 "github.copilot.enable": {
109 "*": true,
110 "plaintext": false,
111 "markdown": false,
112 "scminput": false,
113 "yaml": false,
114 "latex": false,
115 "beancount": false,
116 "bibtex": false
117 },
118 "workbench.colorTheme": "Default Dark+ Experimental",
109} \ No newline at end of file 119} \ No newline at end of file
Powered by cgit v1.2.3 (git 2.41.0)