Tue, 19 Sep 2023 17:12:00 -0500
fix error when unnamed buffers can't be written
1041 | 1 | [Editor] |
2 | WindowGeometryBasedOnFontmetrics = true | |
3 | DisableLigatures = true | |
4 | ||
5 | # GUI External elements font | |
6 | FontFamily = "DejaVu Sans Mono" | |
7 | FontSize = 10 |