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 | |
| parent | d1bc3d4fcbf58a028911ea5b2614941a5688c486 (diff) | |
| download | dotfiles-06f32722e0434fffbd8889bf08ee9a60a9740323.tar.gz | |
update
Diffstat (limited to 'dot_config/private_Code')
| -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 |