From ffccec289807d29559537e9f4fe3e7d59ddd97ff Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 16 May 2023 20:39:22 +0100 Subject: [PATCH] Tweak VSCode settings --- 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 13c3906..56e5700 100644 --- a/roles/home-gui/files/vscode-settings.json +++ b/roles/home-gui/files/vscode-settings.json @@ -1,9 +1,8 @@ { - "editor.fontFamily": "'Go Mono', Consolas, 'Courier New', monospace", + "editor.fontFamily": "Consolas, 'Courier New', monospace", "editor.fontSize": 12, "json.schemaDownload.enable": false, "npm.fetchOnlinePackageInfo": false, - "powershell.integratedConsole.showOnStartup": false, "security.workspace.trust.emptyWindow": false, "security.workspace.trust.untrustedFiles": "newWindow", "telemetry.telemetryLevel": "off",