2015-06-14 10:57 GMT-03:00 Jon Häggblad <[email protected]>: > On Mon, Jun 01, 2015 at 01:27:38PM +0200, Sven Arvidsson wrote: > > On Mon, 2015-06-01 at 11:53 +0200, Bastian Venthur wrote: > > > Hi Sven, > > > > > > thanks for the research! Sorry to see that feature go. The light > > > titlebar looks very distracting, especially if you use a dark terminal > > > theme and have the terminal in fullscreen. But anyways, thanks you! >
I use the Pixel Saver extension [1] for this. Works fine with Gnome 3.16 in Sid [1]: https://extensions.gnome.org/extension/723/pixel-saver/ -- Sebastián Lara Menares
