From 339f0bc38a7c8ff4349a50683852b7909feb5aa9 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Mon, 4 Sep 2023 13:47:09 +0100 Subject: [PATCH] VSCode: Remove settings for unused extensions --- roles/home-gui/files/vscode-settings.json | 41 ----------------------- 1 file changed, 41 deletions(-) diff --git a/roles/home-gui/files/vscode-settings.json b/roles/home-gui/files/vscode-settings.json index f20f5fe..94f82b0 100644 --- a/roles/home-gui/files/vscode-settings.json +++ b/roles/home-gui/files/vscode-settings.json @@ -2,9 +2,7 @@ "[html]": { "editor.indentSize": 2 }, - "csharp.suppressBuildAssetsNotification": true, "debug.console.historySuggestions": false, - "dotnetAcquisitionExtension.enableTelemetry": false, "editor.fontFamily": "'Noto Sans Mono', 'Cascadia Code', Consolas, 'Courier New', monospace", "editor.fontLigatures": false, "editor.fontSize": 12, @@ -31,45 +29,6 @@ "telemetry.telemetryLevel": "off", "terminal.integrated.enablePersistentSessions": false, "terminal.integrated.shellIntegration.history": 0, - "todo-tree.general.tags": [ - "[!!!]", - "[!!]", - "[!]", - "TODO:", - "WORK:", - "WAIT:", - "DONE:" - ], - "todo-tree.highlights.customHighlight": { - "[!!!]": { - "fontWeight": "bold", - "foreground": "#ffc000" - }, - "[!!]": { - "fontWeight": "bold", - "foreground": "#ffc000" - }, - "[!]": { - "fontWeight": "bold", - "foreground": "#ffc000" - }, - "DONE:": { - "foreground": "#c0c0c0" - }, - "TODO:": { - "fontWeight": "bold", - "foreground": "#ff0000" - }, - "WAIT:": { - "fontWeight": "bold", - "foreground": "#ff00ff" - }, - "WORK:": { - "fontWeight": "bold", - "foreground": "#00ff00" - } - }, - "todo-tree.tree.groupedByTag": true, "update.mode": "manual", "update.showReleaseNotes": false, "window.openFilesInNewWindow": "on",