1 files changed, 68 insertions, 0 deletions
diff --git a/user/zed/settings.json b/user/zed/settings.json
new file mode 100644
index 0000000..f4a2ade
--- /dev/null
+++ b/user/zed/settings.json
@@ -0,0 +1,68 @@
+// 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,
+    "vscode-dark-modern": true
+  },
+  "git": {
+    "inline_blame": { "enabled": false }
+  },
+  "telemetry": {
+    "diagnostics": false,
+    "metrics": false
+  },
+  "features": {
+    "inline_completion_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
+  }
+}