Le Mon, 14 Feb 2022 17:38:26 +0100,
Haricophile <haricophile@???> a écrit :
> Exact, il faut configurer d'abord GTK3 (dans Gnome ou/et avec
> dconf-editor)
P.S. si tu ne connais pas bien gsettings avec dconf-editor regarde en
particulier :
/org/gnome/desktop/interface/toolbar-icon-size
/org/gnome/desktop/interface/toolbar-style
/org/gnome/desktop/wm/preferences/button-layout
etc.