diff options
author | clarkzjw <[email protected]> | 2023-05-06 20:01:13 -0700 |
---|---|---|
committer | clarkzjw <[email protected]> | 2023-05-06 20:01:13 -0700 |
commit | 06f32722e0434fffbd8889bf08ee9a60a9740323 (patch) | |
tree | 9134766dcc0ea77ae6cbe325823b13adfe8ce355 /dot_config/private_Code/User/settings.json | |
parent | d1bc3d4fcbf58a028911ea5b2614941a5688c486 (diff) | |
download | dotfiles-06f32722e0434fffbd8889bf08ee9a60a9740323.tar.gz |
update
Diffstat (limited to 'dot_config/private_Code/User/settings.json')
-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 |