dotfiles

commit 4b5f9fd41c7e3e40283ad3f92c82e82106a55664
parent 1c6f5e43311a0a871402b6dd5fda0ba8833a5338
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu, 19 Jun 2025 20:46:12 -0700

zed: update settings

Diffstat:
M
zed/settings.json
 | 
7
++++---

1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/zed/settings.json b/zed/settings.json
@@ -20,8 +20,8 @@
     "outline_panel": { "dock": "right" },
 
     // Style
-    "ui_font_size": 14,
-    "buffer_font_size": 14,
+    "ui_font_size": 15,
+    "buffer_font_size": 15,
     // Zed font features currently don't work on Linux, so we use a variant of
     // JuliaMono with ligatures hard-coded off, created with
     // https://mutsuntsai.github.io/fontfreeze.
@@ -40,6 +40,7 @@
             "property": { "color": "#d7d7d7" },
             "punctuation.bracket": { "color": "#a7a7a7" },
             "punctuation.delimiter": { "color": "#a7a7a7" },
+            "title": { "color": "#d7d7d7" },
             "variable": { "color": "#d7d7d7" }
         }
     },
@@ -57,7 +58,7 @@
             "formatter": {
                 "external": {
                     "command": "fourmolu",
-                    "arguments": ["--haddock-style=single-line", "--newlines-between-decls=0", "--stdin-input-file={buffer_path}"]
+                    "arguments": ["--haddock-style=single-line", "--newlines-between-decls=0", "--stdin-input-file={buffer_path}", "--in-style=no-space"]
                 }
             }
         }