unless we give it higher priority, which we probably shouldn't as it wouldn't be semantic.

Depends how you look at it, it's not like it's just Geany trying to force application default styles on a user, rather it's providing the USER a GUI to OVERRIDE the theme font, so priority higher than 800 might make some sense.


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