Dear b4n,
Thank you for your answer. I ended up adding two changes to gtk.css:
menuitem { font-size: 13pt; }
menu { font-size: 12pt; }
Do these additions run the risk of breaking anything? Right now, things look
great. So, for example "Tools" is now larger (13 points) and the sub-items
under Tools are now at 12 points. And things are much easier to read for my
old eyes.
Thank you again!
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/discussions/3653#discussioncomment-7375393
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany/repo-discussions/3653/comments/[email protected]>
