// Zed settings
//
// For information on how to configure Zed, see the Zed
// documentation: https://zed.dev/docs/configuring-zed
//
// To see all of Zed's default settings without changing your
// custom settings, run `zed: open default settings` from the
// command palette (cmd-shift-p / ctrl-shift-p)
{
  "vim_mode": true,
  "ui_font_size": 18,
  "buffer_font_size": 18,
  // I'd rather use DejaVu Sans Mono but the font rendering looks bad (https://github.com/zed-industries/zed/issues/7992).
  // "buffer_font_family": "DejaVu Sans Mono",
  "theme": {
    "mode": "dark",
    "dark": "VSCode Dark Modern",
    "light": "One Light"
  },
  "experimental.theme_overrides": {
    "players": [
      {
        "cursor": "#aeafad",
        "selection": "#264f78"
      }
    ]
  },
  "lsp": {
    "rust-analyzer": {
      "binary": {
        "path": "/run/current-system/sw/bin/rust-analyzer"
      }
    }
  },
  "auto_install_extensions": {
    // TODO: add extension for TODO/FIXME highlighting (https://github.com/zed-industries/extensions/issues/523)
    // TODO: add extension for djot highlighting
    "html": true,
    "nix": true,
    "sql": true,
    "toml": true,
    "typst": true,
    "vscode-dark-modern": true
  },
  "git": {
    "inline_blame": { "enabled": false }
  },
  "telemetry": {
    "diagnostics": false,
    "metrics": false
  },
  "features": {
    "edit_prediction_provider": "none"
  },
  "assistant": {
    "enabled": false,
    "version": "2"
  },
  // The "Sign in" button in the title bar cannot be hidden :/ (https://github.com/zed-industries/zed/discussions/20146)
  "collaboration_panel": {
    "button": false
  },
  "chat_panel": {
    "button": false
  },
  "notification_panel": {
    "button": false
  }
}