vscode_settings.json

{
    "workbench.startupEditor": "newUntitledFile",
    "editor.fontSize": 12,
    "workbench.statusBar.visible": true,
    "window.menuBarVisibility": "hidden",
    "git.confirmSync": false,
    "vim.disableAnnoyingNeovimMessage": true,
    "vim.hlsearch": true,
    "vim.searchHighlightColor": "rgba(150, 150, 000, 0.9)",
    "vim.autoindent": true,
    "git.enableSmartCommit": true,
    "window.zoomLevel": 0,
    "todohighlight.keywords": [
        {
            "text": "TODO",
            "backgroundColor": "magenta",
        },
        {
            "text": "console.log",
            "color": "red",
            "border": "1px solid red",
            "borderRadius": "2px", 
            "backgroundColor": "rgba(0,0,0,.2)",
        }
    ],
    "rust.rustup": {
        "toolchain": "nightly-x86_64-unknown-linux-gnu",
        "nightlyToolchain": "nightly-x86_64-unknown-linux-gnu"
    },
    //"terminal.integrated.shell.windows": "C:\\WINDOWS\\System32\\WindowsPowerShell\\v1.0\\powershell.exe",
    "terminal.integrated.fontSize": 12,
    "editor.minimap.enabled": false,
    "telemetry.enableTelemetry": false,
    "haskelly.buttons.stackTest": false,
    "haskelly.codeCompletion": false,
    "haskelly.runFile": false,
    "haskelly.quickCheck": false,
    "haskelly.exec.reuseTerminal": false,
}