I will however take umbrage at the link above claiming we "hard coded" monospace. The default is monospace, but if its hard coded then why is there Menu->View->Change Font for the editor and Menu->Edit->Preferences->Interface->Interface having three font setting selectors? The user can select to use the system font in those if they want the theme to control it (at least here on Linux, on Windows YMMV).

[End grumble]

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