On Tue 2015-08-04, Olaf Hering wrote: > Unfortunately this variant eats even more space: The top menu bar, the > huge window title bars and now also the task bar at the bottom. But that > taskbar makes moving FF tabs around easier.
This reminds me that I made a similar observation when switching to GNOME 3.16 myself that I shared with this list. "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?" Any ideas? Gerald -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
