Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.
..hence my suggestion to add changes to geany.css
Hardly possible. gtk.css from stylish is quite large, and I don't know which parts of it are needed, and which ones may be left out. Well, it seems that my way isn't regular, and shoudn't be recommended to general public, so to say. :) But the fact is, GTK3 allows UI customization via CSS, and a persistent user can find a solution for his needs, even if it's weakly documented. When I looked for a way to increase fonts in Viber for desktop, I found a similar solution: to set environment variable GTK_SCALE_FACTOR to the proper value. Similarly, when I switched from Windows 7 to Windows 10, I found an utility ("Advanced Font Changer") to change fonts and sizes in Windows UI. :) Et cetera...
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.