hm actually though, there is a problem here: if I set GDK_SCALE instead of the usual Xft.dpi doubling, geany doesn't pick up the increased font size for the main editor and everything is tiny.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.