From 09378e37a72a8c5a419616372e10d1c1477a99f0 Mon Sep 17 00:00:00 2001
From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Fri, 18 Nov 2022 10:27:31 -0500
Subject: [PATCH] Track VSCode settings

---
 home/.config/Code/User/settings.json | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 home/.config/Code/User/settings.json

diff --git a/home/.config/Code/User/settings.json b/home/.config/Code/User/settings.json
new file mode 100644
index 0000000..a969e92
--- /dev/null
+++ b/home/.config/Code/User/settings.json
@@ -0,0 +1,22 @@
+{
+    "FSharp.useSdkScripts": true,
+    "editor.fontFamily": "'Iosevka','Iosevka Fixed SS09 Extended', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
+    "workbench.colorTheme": "Pale Fire",
+    "vscode-neovim.neovimExecutablePaths.linux": "/usr/local/bin/nvim",
+    "editor.fontSize": 16,
+    "workbench.startupEditor": "newUntitledFile",
+    "todo-tree.tree.showScanModeButton": false,
+    "editor.minimap.enabled": false,
+    "editor.rulers": [
+        
+        80
+    ],
+    "editor.inlineSuggest.enabled": true,
+    "github.copilot.enable": {
+        "*": false,
+        "yaml": false,
+        "plaintext": true,
+        "markdown": false
+    },
+    "window.zoomLevel": -1
+}
\ No newline at end of file
-- 
2.20.1