On 1/9/23 17:48, Guido Falsi wrote:
Hello and thanks for answering.
> Anyway these buttons are created using GTK3, so the theme in use could
> be influencing the size. ALso this means you could try customizing
> button size, padding and margin via gtk3 customizations, which work
> similar to CSS.
Tried: I can reduce icon size, but still the buttons will be big.
This is definitely an upstream change though, since nothing was changed
in the ports with the updates, except for version numbers and some minor
ports Makefile details.
Ok, I'll ask there.
Thanks.
bye
av.
