Thanks for your reply, I have seen the blog but did not find where I need to modify. I will try other ways, thanks very much anyway.
> Re: modify the height of head bar (BrainStorm Trooper) > > I believe that things like tabs and the new header bars are controlled > by the GTK3 theme and not the Gnome-shell theme. > You may want to look here: > > http://blogs.gnome.org/mclasen/2014/05/06/tweaking-a-the-gtk-theme-using-css/ > >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
