Re: no dark theme in gnome-terminal 3.16 anymore?

[Sebastian Lara <slaramen@gmail.com>]

2015-06-14 10:57 GMT-03:00 Jon Häggblad <jon@haeggblad.com>:

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