vscode-settings.json

// Place your settings in this file to overwrite the default settings
{
    "editor.fontSize": 13,
    "editor.fontFamily": "Hack, regular, monospace",
    "editor.lineNumbers": "relative",
    "editor.cursorBlinking": "solid",
    "editor.minimap.enabled": false,
    "search.useIgnoreFilesByDefault": true,
    "vim.disableAnnoyingNeovimMessage": true,
    "vim.useSystemClipboard": true,
    "vim.enableNeovim": true,
    "vim.textwidth": 100,
    "rust.rustup": {
        "toolchain": "stable-x86_64-pc-windows-msvc",
        "nightlyToolchain": "nightly-x86_64-pc-windows-msvc"
    },
    "rust.mode": "rls",
    "rust.rls": {
        "env": {
            "RUST_SRC_PATH": "C:\\Users\\bhbat\\.rustup\\toolchains\\nightly-x86_64-pc-windows-msvc\\lib\\rustlib\\src\\rust\\src\\"
        },
        "useRustfmt": true
    },
    "workbench.colorTheme": "Solarized Dark",
    "idris.executablePath": "C:\\Users\\bhbat\\Downloads\\idris\\idris.exe",
    "idris.suggestMode": "replCompletion",
    "window.zoomLevel": 0,
    "workbench.activityBar.visible": true
}