Thu, 09 Mar 2023 12:45:11 -0600
Switch to kanagawa until themer's jellybeans is fixed
1041 | 1 | [Editor] |
2 | WindowGeometryBasedOnFontmetrics = true | |
3 | DisableLigatures = true | |
4 | ||
5 | # GUI External elements font | |
6 | FontFamily = "DejaVu Sans Mono" | |
7 | FontSize = 10 |