From 51cbc929787e840838379c9838480b1546269e31 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 21 Sep 2023 08:47:56 +0100 Subject: [PATCH] Use dark theme and tweak fonts --- roles/home-gui/files/vscode-settings.json | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/roles/home-gui/files/vscode-settings.json b/roles/home-gui/files/vscode-settings.json index 94f82b0..4cfc4e5 100644 --- a/roles/home-gui/files/vscode-settings.json +++ b/roles/home-gui/files/vscode-settings.json @@ -3,7 +3,7 @@ "editor.indentSize": 2 }, "debug.console.historySuggestions": false, - "editor.fontFamily": "'Noto Sans Mono', 'Cascadia Code', Consolas, 'Courier New', monospace", + "editor.fontFamily": "'monospace', 'Cascadia Code', Consolas, 'Courier New'", "editor.fontLigatures": false, "editor.fontSize": 12, "editor.renderWhitespace": "all", @@ -34,7 +34,6 @@ "window.openFilesInNewWindow": "on", "window.openFoldersInNewWindow": "on", "window.restoreWindows": "none", - "workbench.colorTheme": "Default Light Modern", "workbench.editor.historyBasedLanguageDetection": false, "workbench.editor.untitled.hint": "hidden", "workbench.enableExperiments": false,