Tue, 14 Mar 2023 22:56:37 -0500
try to fix stopinsert/autowrite again
1041 | 1 | [Editor] |
2 | WindowGeometryBasedOnFontmetrics = true | |
3 | DisableLigatures = true | |
4 | ||
5 | # GUI External elements font | |
6 | FontFamily = "DejaVu Sans Mono" | |
7 | FontSize = 10 |