(2022-07-20, 3:02)N. W. Perry Wrote: Yes, same for me. However just "menlo" and "courier" in the main.gui file was enough to find the right font.
....
Here is what it looks like with Verdana and Menlo:
Thanks for the information I'll make "DejaVuSansMono,FreeMono,menlo,courier,cour,FreeSans" the default for the mono ones (mostly the editor).