Panel window buttons row size [solved]

[Andrea Venturoli]

On 1/10/23 12:17, Gaël Bonithon wrote:
> You should be able to customize this via the max-button-size style property.
> See https://docs.xfce.org/xfce/xfce4-panel/tasklist#style_properties

Thanks a lot!!!
I was able to solve with:

> .tasklist { -XfceTasklist-max-button-size: 20px;}
> .tasklist image {-gtk-icon-transform: scale(.5);}

Now I get more or less what I had before the upgrade.

  bye
	av.

P.S.
One thing held me for a while...
Using GTK_DEBUG=interactive, the above changes should immediately come up.
While this is true for the second property, the first one seemed useless 
until I learned I had to do something (e.g. change theme) in order to 
see its effect.