diff options
| author | José Juan Loeza Sierra <jj@xz6ze.com> | 2026-08-01 21:29:04 -0700 |
|---|---|---|
| committer | José Juan Loeza Sierra <jj@xz6ze.com> | 2026-08-01 21:29:04 -0700 |
| commit | af7a3207dae0a21a30aa283bddd68010f88738fa (patch) | |
| tree | 51d1e2a461be34fdbbfb3a7c675c2566ae9f6162 | |
| parent | 9fdbf8f8462657c2623dde443ce1046452d47106 (diff) | |
Guess they fixed the font naming thing, so one \ now is find rather
than three.
| -rw-r--r-- | dot-config/foot/foot.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dot-config/foot/foot.ini b/dot-config/foot/foot.ini index 00577dd..511f298 100644 --- a/dot-config/foot/foot.ini +++ b/dot-config/foot/foot.ini @@ -3,7 +3,7 @@ # padding pad=15x20 center-when-maximized-and-fullscreen -font=TX\\\-02 Condensed:size=13 +font=TX\-02 Condensed:size=13 [bell] system=no |