FS#40081 - [gnome-terminal] update to 3.12 no longer adheres to system colour scheme.
Attached to Project:
Arch Linux
Opened by Michael Hauser-Raspe (crashandburn4) - Friday, 25 April 2014, 07:11 GMT
Last edited by Jan Alexander Steffens (heftig) - Sunday, 27 April 2014, 17:50 GMT
Opened by Michael Hauser-Raspe (crashandburn4) - Friday, 25 April 2014, 07:11 GMT
Last edited by Jan Alexander Steffens (heftig) - Sunday, 27 April 2014, 17:50 GMT
|
Details
Description:
The new version of gnome-terminal no longer adheres to system colour schemes. For a picture see http://unix.stackexchange.com/q/126379/49255 Additional info: * package version(s) extra/gnome-terminal 3.12.0-1 (gnome) * not present in extra/gnome-terminal 3.10.2-1 (gnome) * A picture has been added showing the faulty window next to a correctly themed window. Steps to reproduce: Download extra/gnome-terminal 3.12.0-1 (gnome) and set your terminal theme to "use colours from system theme" (go to EDIT->profile preferences->Colours->Use colours from system theme) if you have a system theme it will not be respected and the plain theme will be used (e.g. download gnome-tweak-tool and set Global Dark Theme to "ON"). |
This task depends upon
Closed by Jan Alexander Steffens (heftig)
Sunday, 27 April 2014, 17:50 GMT
Reason for closing: Works for me
Additional comments about closing: Check "Use dark theme variant" in the GNOME Terminal preferences.
Sunday, 27 April 2014, 17:50 GMT
Reason for closing: Works for me
Additional comments about closing: Check "Use dark theme variant" in the GNOME Terminal preferences.
Comment by Doug Newgard (Scimmia) -
Saturday, 26 April 2014, 02:01 GMT
Comment by
Michael Hauser-Raspe (crashandburn4)
- Saturday, 26 April 2014, 12:00 GMT
Comment by Fabio (regulus) -
Sunday, 27 April 2014, 17:49 GMT
You tagged this as an upstream bug, have you reported it upstream?
No I followed the bug reporting instructions here
(https://wiki.gnome.org/Apps/Terminal/ReportingBugs) which
basically say, report it to your distro's bug reporter and not
gnome and then they'll push it upstream. I thought it sounded
stupid too but just following instructions. (sorry if I'm creating
unneccessary work)
If you want dark theme in gnome-terminal, you have to set it in
the preferences of gnome-terminal.