From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Wed, 19 Apr 2023 18:08:19 +0000 (-0400)
Subject: Update VSCode settings
X-Git-Url: https://git.xandkar.net/?p=khome.git;a=commitdiff_plain;h=d4e42d7c653805c0dc7a34ba6266f56325f0a684

Update VSCode settings
---

diff --git a/home/.config/Code/User/settings.json b/home/.config/Code/User/settings.json
index a969e92..cfa54af 100644
--- a/home/.config/Code/User/settings.json
+++ b/home/.config/Code/User/settings.json
@@ -1,9 +1,8 @@
 {
     "FSharp.useSdkScripts": true,
     "editor.fontFamily": "'Iosevka','Iosevka Fixed SS09 Extended', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
-    "workbench.colorTheme": "Pale Fire",
+    "workbench.colorTheme": "Nord",
     "vscode-neovim.neovimExecutablePaths.linux": "/usr/local/bin/nvim",
-    "editor.fontSize": 16,
     "workbench.startupEditor": "newUntitledFile",
     "todo-tree.tree.showScanModeButton": false,
     "editor.minimap.enabled": false,
@@ -18,5 +17,8 @@
         "plaintext": true,
         "markdown": false
     },
-    "window.zoomLevel": -1
+    "editor.fontSize": 13,
+    "debug.console.fontSize": 13,
+    "markdown.preview.fontSize": 13,
+    "terminal.integrated.fontSize": 13
 }
\ No newline at end of file