Add zed-config/settings.json

zed-config/settings.json

@@ -0,0 +1,59 @@
+{
+  "telemetry": {
+    "metrics": false,
+    "diagnostics": false
+  },
+  "auto_update": false,
+  "ui_font_size": 16,
+  "buffer_font_size": 15,
+  "base_keymap": "JetBrains",
+  "buffer_font_family": "JetBrains Mono",
+  "theme": {
+    "mode": "dark",
+    "light": "One Light",
+    "dark": "One Dark"
+  },
+  "languages": {
+    "Python": {
+      "tab_size": 4
+    }
+  },
+  "inlay_hints": {
+    "enabled": true
+  },
+  "lsp": {
+    "rust-analyzer": {
+      "binary": {
+        "ignore_system_version": true
+      },
+      "initialization_options": {
+        "inlayHints": {
+          "maxLength": null,
+          "lifetimeElisionHints": {
+            "enable": "skip_trivial",
+            "useParameterNames": true
+          },
+          "closureReturnTypeHints": {
+            "enable": "always"
+          },
+          "closureCaptureHints": {
+            "enable": true
+          }
+        }
+      }
+    },
+    "hls": {
+      "initialization_options": {
+        "haskell": {
+          "formattingProvider": "fourmolu"
+        }
+      }
+    }
+  },
+  "disable_ai": true,
+  "icon_theme": {
+    "mode": "dark",
+    "light": "Zed (Default)",
+    "dark": "Zed (Default)"
+  }
+}