On Tue 2016-04-05, Olaf Hering wrote:
> The knobs below used to work, until GNOME 3.20 (or whatever is
> responsible for the large title bars).
I don't think I saw any response to Olaf.
This really hurts. Vertical space is rather valuable on today's
wide screen displays. In my case it reduces my mailer's index
screen by at least one entry.
First the /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
workaround went away, now the following does not work any more,...
>> ~/.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;
>> }
...and if I were a little paranoid, I'd think that someone upstream
likes to make fun of users like Olaf and me who simply disagree with
the design decision to bloat title bars and waste screen estate.
Are there any options left?
Gerald
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]
