On Fri, 3 May 2019 at 17:29, Brent Roman genosensor@gmail.com wrote:
Lex,
Thanks for the clarification. Sorry about the missing info.
The "new" version is Geany 1.33 and, it is, as you suspected, linked with gtk-3, while the "old" version is Geany 1.29, linked with gtk-2. The OS is Debian "buster" and "stretch", respectively.
I absolutely agree with your rant about the popular "kiddy phone" look.
Could one simply copy the .css file from the 1.29 version to the 1.33 version to restore the old version's layout?
By default Geany does not set any of those things, so they come from your desktop theme. I guess your GTK2 theme is different to your GTK3 theme (reference again to kiddy phones) so the text size changed when Geany changed to GTK3.
You need to add the spell to set the size you want for tab fonts to geany.css where it will override the desktops. I don't personally know what the css incantations for that is, maybe someone else or Google can help.
Cheers Lex
PS Why doesn't Geany set font sizes? Because we don't know what size or resolution your screen is, nor how good/bad your eyes are. We would _hope_ your system made a sane choice, but ...