nix/vscode-settings.nix

{ rust-analyzer }:
{
  "C_Cpp.clang_format_fallbackStyle" = "WebKit";
  "[c]" = {
    "editor.formatOnSave" = false;
    "editor.insertSpaces" = false;
    "editor.tabSize" = 8;
    "editor.useTabStops" = true;
  };
  "[css]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
  "[handlebars]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
  "[haskell]" = { "editor.defaultFormatter" = "haskell.haskell"; };
  "[html]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
  "[java]" = { "editor.suggest.snippetsPreventQuickSuggestions" = false; };
  "[javascript]" = {
    "editor.defaultFormatter" = null;
    "editor.formatOnSave" = true;
  };
  "[javascriptreact]" = {
    "editor.defaultFormatter" = "esbenp.prettier-vscode";
  };
  "[json]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
  "[jsonc]" = { "editor.defaultFormatter" = "esbenp.prettier-vscode"; };
  "[latex]" = { "editor.defaultFormatter" = "nickfode.latex-formatter"; };
  "[makefile]" = { "editor.insertSpaces" = false; };
  "[markdown]" = {
    "editor.defaultFormatter" = "esbenp.prettier-vscode";
    "editor.formatOnSave" = false;
  };
  "[python]" = { "editor.formatOnType" = true; };
  "[rust]" = {
    "editor.defaultFormatter" = "rust-lang.rust-analyzer";
    "editor.semanticHighlighting.enabled" = true;
  };
  "[typescript]" = {
    "editor.defaultFormatter" = "denoland.vscode-deno";
    "editor.formatOnSave" = true;
  };
  "[typescriptreact]" = {
    "editor.defaultFormatter" = "esbenp.prettier-vscode";
  };
  "calva.highlight.matchedBracketStyle" = { };
  "calva.paredit.defaultKeyMap" = "original";
  "calva.prettyPrintingOptions" = {
    enabled = true;
    maxLength = 50;
    printEngine = "pprint";
    width = 120;
  };
  "dafny.verificationTimeLimit" = 3600;
  "dafny.verificationVirtualCores" = 0;
  "debug.internalConsoleOptions" = "neverOpen";
  "docker.commands.attach" =
    "$${config:docker.dockerPath} exec -it $${containerId} $${shellCommand}";
  "editor.acceptSuggestionOnCommitCharacter" = false;
  "editor.autoIndent" = "advanced";
  "editor.bracketPairColorization.enabled" = true;
  "editor.cursorBlinking" = "solid";
  "editor.cursorSmoothCaretAnimation" = "on";
  "editor.cursorStyle" = "line";
  "editor.defaultFormatter" = "denoland.vscode-deno";
  "editor.fontFamily" = "JetBrainsMono Nerd Font";
  "editor.fontLigatures" = true;
  "editor.fontSize" = 16;
  "editor.formatOnSave" = true;
  "editor.inlayHints.enabled" = "offUnlessPressed";
  "editor.inlineSuggest.enabled" = true;
  "editor.insertSpaces" = true;
  "editor.lineNumbers" = "on";
  "editor.linkedEditing" = true;
  "editor.minimap.enabled" = false;
  "editor.minimap.showSlider" = "always";
  "editor.quickSuggestions" = {
    comments = "off";
    other = "on";
    strings = "on";
  };
  "editor.renderWhitespace" = "selection";
  "editor.rulers" = [ 80 100 ];
  "editor.stickyScroll.enabled" = true;
  "editor.suggest.localityBonus" = true;
  "editor.suggest.showStatusBar" = true;
  "editor.tabSize" = 4;
  "editor.unicodeHighlight.invisibleCharacters" = false;
  "editor.wordSeparators" = ''/\()"':,;<>~!@#$$%^&*|+=[]{}`?-'';
  "editor.wordWrap" = "off";
  "errorLens.excludeBySource" = [ "eslint(eqeqeq)" "ts(2551)" ];
  "files.associations" = {
    "*.h" = "c";
    "*.pl" = "prolog";
  };
  "files.eol" = "\n";
  "files.insertFinalNewline" = true;
  "files.watcherExclude" = {
    "**/.git/objects/**" = true;
    "**/.git/subtree-cache/**" = true;
    "**/.hg/store/**" = true;
    "**/node_modules/*/**" = true;
    "/target/**" = true;
  };
  "git.autofetch" = true;
  "git.confirmSync" = false;
  "git.enableSmartCommit" = true;
  "github.copilot.enable" = {
    "*" = true;
    markdown = false;
    plaintext = false;
    yaml = true;
  };
  "go.useLanguageServer" = true;
  "gruvboxMaterial.italicComments" = false;
  "haskell.formattingProvider" = "stylish-haskell";
  "haskell.ghcupExecutablePath" = "/home/mbk/.ghcup/bin/ghcup";
  "haskell.manageHLS" = "GHCup";
  "haskell.plugin.tactics.config.auto_gas" = 8;
  "idris.numbersOfContinuousTypechecking" = 50;
  "idris.warnPartial" = true;
  "latex-workshop.view.pdf.viewer" = "tab";
  "markdown.editor.pasteUrlAsFormattedLink.enabled" = "smart";
  "ocaml.server.extendedHover" = true;
  "oneDarkPro.italic" = false;
  "prettier.arrowParens" = "avoid";
  "prettier.tabWidth" = 4;
  "remote.extensionKind" = { "pub.name" = [ "ui" ]; };
  "ruby.codeCompletion" = "rcodetools";
  "ruby.format" = "prettier";
  "ruby.intellisense" = "rubyLocate";
  "rust-analyzer.server.path" = "${rust-analyzer}/bin/rust-analyzer";
  "rust-analyzer.checkOnSave.command" = "clippy";
  "rust-analyzer.checkOnSave.extraArgs" = [ "--" "-W" "clippy::pedantic" ];
  "rust-analyzer.debug.openDebugPane" = true;
  "rust-analyzer.inlayHints.closureReturnTypeHints.enable" = "always";
  "rust-analyzer.inlayHints.lifetimeElisionHints.enable" = "always";
  "rust-analyzer.inlayHints.lifetimeElisionHints.useParameterNames" = true;
  "rust-analyzer.inlayHints.maxLength" = null;
  "rust-analyzer.inlayHints.reborrowHints.enable" = "always";
  "rust-analyzer.lens.debug" = false;
  "rust-analyzer.lens.enable" = false;
  "rust-analyzer.lens.implementations" = false;
  "rust-analyzer.lens.run" = false;
  "security.workspace.trust.untrustedFiles" = "open";
  "settingsSync.ignoredExtensions" = [ ];
  "syntax.highlightLanguages" = [
    "c"
    "cpp"
    "python"
    "typescript"
    "typescriptreact"
    "javascript"
    "go"
    "rust"
    "php"
    "ruby"
    "shellscript"
    "ocaml"
    "lua"
  ];
  "terminal.integrated.commandsToSkipShell" = [ "-workbench.action.quickOpen" ];
  "terminal.integrated.defaultProfile.linux" = "fish";
  "terminal.integrated.fontSize" = 15;
  "terminal.integrated.scrollback" = 100000;
  "terminal.integrated.tabs.enabled" = true;
  "twind.debug" = true;
  "typescript.updateImportsOnFileMove.enabled" = "always";
  "vim.easymotion" = true;
  "vim.handleKeys" = { "<C-t>" = false; };
  "vim.highlightedyank.enable" = true;
  "vim.leader" = ";";
  "vim.normalModeKeyBindings" = [
    {
      after = [ "g" "j" ];
      before = [ "j" ];
    }
    {
      after = [ "g" "k" ];
      before = [ "k" ];
    }
    {
      after = [ "^" ];
      before = [ "0" ];
    }
    {
      before = [ "t" "j" ];
      commands = [ "workbench.action.nextEditor" ];
    }
    {
      before = [ "t" "k" ];
      commands = [ "workbench.action.previousEditor" ];
    }
    {
      before = [ "t" "w" ];
      commands = [ "workbench.action.closeActiveEditor" ];
    }
    {
      before = [ "f" "f" ];
      commands = [ "workbench.action.quickOpen" ];
    }
    {
      before = [ "f" "e" ];
      commands = [ "workbench.action.showAllEditorsByMostRecentlyUsed" ];
    }
    {
      before = [ "f" "s" ];
      commands = [ "workbench.action.gotoSymbol" ];
    }
    {
      before = [ "<leader>" "z" ];
      commands = [ "workbench.action.toggleZenMode" ];
    }
    {
      before = [ "<leader>" "w" ];
      commands = [ ":w" ];
    }
    {
      before = [ "<leader>" "q" ];
      commands = [ ":q" ];
    }
    {
      before = [ "<leader>" "d" ];
      commands = [ "editor.action.showHover" ];
    }
    {
      before = [ "<leader>" "f" ];
      commands = [ "editor.action.quickFix" ];
    }
    {
      before = [ "<leader>" "t" ];
      commands = [ "editor.action.peekTypeDefinition" ];
    }
    {
      before = [ "<leader>" "g" ];
      commands = [ "editor.action.revealDefinition" ];
    }
    {
      before = [ "<leader>" "c" ];
      commands = [ "rust-analyzer.run" ];
    }
    {
      before = [ "<leader>" "r" "n" ];
      commands = [ "editor.action.rename" ];
    }
    {
      before = [ "<c-j>" ];
      commands = [ "editor.action.marker.nextInFiles" ];
    }
    {
      before = [ "<c-k>" ];
      commands = [ "editor.action.marker.prevInFiles" ];
    }
    {
      before = [ "<leader>" "p" "c" ];
      commands = [ "picat.run.document" ];
    }
    {
      before = [ "<leader>" "s" "h" ];
      commands = [ "paredit.slurpSexpBackward" ];
    }
    {
      before = [ "<leader>" "s" "l" ];
      commands = [ "paredit.slurpSexpForward" ];
    }
    {
      before = [ "<leader>" "s" "w" "p" ];
      commands = [ "paredit.wrapAroundParens" ];
    }
    {
      before = [ "<leader>" "s" "w" "b" ];
      commands = [ "paredit.wrapAroundSquare" ];
    }
    {
      before = [ "<leader>" "s" "w" "c" ];
      commands = [ "paredit.wrapAroundCurly" ];
    }
    {
      before = [ "<leader>" "s" "w" "p" ];
      commands = [ "paredit.wrapAroundParens" ];
    }
    {
      before = [ "<leader>" "b" "h" ];
      commands = [ "paredit.barfSexpBackward" ];
    }
    {
      before = [ "<leader>" "b" "l" ];
      commands = [ "paredit.barfSexpForward" ];
    }
    {
      before = [ "<leader>" "s" "t" ];
      commands = [ "paredit.transpose" ];
    }
    {
      before = [ "<leader>" "s" "t" ];
      commands = [ "paredit.transpose" ];
    }
    {
      before = [ "<leader>" "s" "e" ];
      commands = [ "calva.evaluateCurrentTopLevelForm" ];
    }
    {
      before = [ "<leader>" "s" "s" ];
      commands = [ "calva.evaluateSelection" ];
    }
    {
      before = [ "<leader>" "s" "f" ];
      commands = [ "calva.sendCurrentFormToOutputWindow" ];
    }
    {
      before = [ "<leader>" "s" "o" ];
      commands = [ "calva.showOutputWindow" ];
    }
    {
      before = [ "<leader>" "i" "l" ];
      commands = [ "idris.make-lemma" ];
    }
    {
      before = [ "<leader>" "i" "f" "h" ];
      commands = [ "idris.proof-search" ];
    }
    {
      before = [ "<leader>" "i" "c" "s" ];
      commands = [ "idris.case-split" ];
    }
    {
      before = [ "<leader>" "i" "t" "c" ];
      commands = [ "idris.typecheck" ];
    }
    {
      before = [ "<leader>" "i" "m" ];
      commands = [ "idris.add-clause" ];
    }
  ];
  "vim.smartRelativeLine" = true;
  "vim.useSystemClipboard" = true;
  "window.autoDetectColorScheme" = true;
  "window.commandCenter" = false;
  "window.restoreWindows" = "none";
  "window.titleBarStyle" = "custom";
  "workbench.colorTheme" = "One Dark Pro Darker";
  "workbench.editor.enablePreview" = false;
  "workbench.editor.enablePreviewFromQuickOpen" = false;
  "workbench.editorAssociations" = { "*.jpg" = "imagePreview.previewEditor"; };
  "workbench.iconTheme" = "gruvbox-material-icon-theme";
  "workbench.layoutControl.enabled" = true;
  "workbench.layoutControl.type" = "both";
  "workbench.startupEditor" = "none";
  "zig.zigPath" = "";
  "zig.zls.enabled" = true;
  "zig.zls.path" =
    "/home/mbk/.config/Code/User/globalStorage/ziglang.vscode-zig/zls_install/zls";
}