From: Siraaj Khandkar Date: Fri, 18 Nov 2022 15:27:31 +0000 (-0500) Subject: Track VSCode settings X-Git-Url: https://git.xandkar.net/?p=khome.git;a=commitdiff_plain;h=09378e37a72a8c5a419616372e10d1c1477a99f0 Track VSCode settings --- 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