The knobs below used to work, until GNOME 3.20 (or whatever is
responsible for the large title bars).
What needs to be done now to set the title bars to a usable size?
Olaf
On Fri, Aug 07, Olaf Hering wrote:
> Am 07.08.2015 um 10:14 schrieb Gerald Pfeifer:
> > "The upstream Gnome designers still force title bars that
> > consume too much of my screen height upon me.
> >
> > In the past I could hack the title_vertical_pad settings in
> > /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml.
> > Now those XML-based schemes seem gone. How can I perform
> > such tweaking going forward?"
>
>
> google found me this workaround:
>
> ~/.config/gtk-3.0/gtk.css
> .header-bar.default-decoration {
> padding-top: 0px;
> padding-bottom: 0px;
> }
>
> .header-bar.default-decoration .button.titlebutton {
> padding-top: 0px;
> padding-bottom: 0px;
> }
>
> This does not seem to work for the settings window or file explorer.
> Maybe because they have this Search icon in the titlebar.
>
> Olaf
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]
