[Github-comments] [geany/geany] cannot change symbol or message fonts (#2069)

[Matthew Brush]

> 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 or view it on GitHub:
https://github.com/geany/geany/issues/2069#issuecomment-514012670
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190722/86450778/attachment.html>