mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-16 08:46:08 +03:00

Add keys for adjusting overline position/thickness and box drawing thickness, + docs to each adjust key clarifying what the metric they adjust does.