Track VSCode settings
authorSiraaj Khandkar <siraaj@khandkar.net>
Fri, 18 Nov 2022 15:27:31 +0000 (10:27 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Fri, 18 Nov 2022 15:27:31 +0000 (10:27 -0500)
home/.config/Code/User/settings.json [new file with mode: 0644]

diff --git a/home/.config/Code/User/settings.json b/home/.config/Code/User/settings.json
new file mode 100644 (file)
index 0000000..a969e92
--- /dev/null
@@ -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
This page took 0.018795 seconds and 4 git commands to generate.