diff options
Diffstat (limited to 'dot_config/private_Code/User')
-rw-r--r-- | dot_config/private_Code/User/settings.json | 12 |
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 |