Hello everyone, I want to change the height of head bar because it is really big for me. I can change the height of title bar by modify /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml and found that 12px is just suitable. But I I really don't know how to change the height of head bar and the label bar marked on the picture. Can anyone tell me, thanks a lot.
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
