[Geany-Users] Smaller fonts in file tabs?

[Lex Trotman]

On Fri, 3 May 2019 at 17:29, Brent Roman <genosensor at 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 ...