From 06f32722e0434fffbd8889bf08ee9a60a9740323 Mon Sep 17 00:00:00 2001 From: clarkzjw Date: Sat, 6 May 2023 20:01:13 -0700 Subject: update --- dot_config/private_Code/User/settings.json | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'dot_config/private_Code') 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 @@ "git.showPushSuccessNotification": true, "editor.inlineSuggest.enabled": true, "window.titleBarStyle": "custom", - "workbench.colorTheme": "Theme Flat", + "github.copilot.enable": { + "*": true, + "plaintext": false, + "markdown": false, + "scminput": false, + "yaml": false, + "latex": false, + "beancount": false, + "bibtex": false + }, + "workbench.colorTheme": "Default Dark+ Experimental", } \ No newline at end of file -- cgit v1.2.3