Use dark theme and tweak fonts

This commit is contained in:
Anthony Rose 2023-09-21 08:47:56 +01:00
parent f81b8db9d4
commit 51cbc92978

View file

@ -3,7 +3,7 @@
"editor.indentSize": 2 "editor.indentSize": 2
}, },
"debug.console.historySuggestions": false, "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.fontLigatures": false,
"editor.fontSize": 12, "editor.fontSize": 12,
"editor.renderWhitespace": "all", "editor.renderWhitespace": "all",
@ -34,7 +34,6 @@
"window.openFilesInNewWindow": "on", "window.openFilesInNewWindow": "on",
"window.openFoldersInNewWindow": "on", "window.openFoldersInNewWindow": "on",
"window.restoreWindows": "none", "window.restoreWindows": "none",
"workbench.colorTheme": "Default Light Modern",
"workbench.editor.historyBasedLanguageDetection": false, "workbench.editor.historyBasedLanguageDetection": false,
"workbench.editor.untitled.hint": "hidden", "workbench.editor.untitled.hint": "hidden",
"workbench.enableExperiments": false, "workbench.enableExperiments": false,