On Mon, 2015-06-01 at 09:13 +0200, Bastian Venthur wrote:
> Hi,
>
> with doday's update, gnome-terminal got updated from 3.14 to 3.16. After
> restarting the running terminals, I realized that the top window border
> changed from dark to light. If I remember correctly, in < 3.16 it was
> possible to configure whether gnome-terminal uses the dark theme or not,
> but this option has disappeared.
>
> Any chance to bring that option back, or make the dark theme the default?
Looks like it was a bunch of problems with that feature:
commit 5f6c514a8840a5d1b87a8c399defee3b5052ec18
Author: Christian Persch <chpe@gnome.org>
Date: Thu Jan 8 14:08:43 2015 +0100
prefs: Remove dark theme pref
It's more trouble than it's worth.
https://bugzilla.gnome.org/show_bug.cgi?id=707206
https://bugzilla.gnome.org/show_bug.cgi?id=742040
https://bugzilla.gnome.org/show_bug.cgi?id=742333
https://bugzilla.gnome.org/show_bug.cgi?id=649358
src/org.gnome.Terminal.gschema.xml | 5 -----
src/preferences.ui | 16 ----------------
src/terminal-app.c | 4 ----
src/terminal-prefs.c | 9 +--------
src/terminal-schemas.h | 1 -
5 files changed, 1 insertion(+), 34 deletions(-)
--
Cheers,
Sven Arvidsson
http://www.whiz.se
PGP Key ID 6FAB5CD5
Attachment:
signature.asc
Description: This is a digitally signed message part