Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

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
Task Type Bug Report
Category Upstream Bugs
Status Closed
Assigned To Jan de Groot (JGC)
Jan Alexander Steffens (heftig)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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").
   Screenshot from 2014-04-24 19... (29.8 KiB)
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.
Comment by Doug Newgard (Scimmia) - Saturday, 26 April 2014, 02:01 GMT
You tagged this as an upstream bug, have you reported it upstream?
Comment by Michael Hauser-Raspe (crashandburn4) - Saturday, 26 April 2014, 12:00 GMT
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)
Comment by Fabio (regulus) - Sunday, 27 April 2014, 17:49 GMT
If you want dark theme in gnome-terminal, you have to set it in the preferences of gnome-terminal.

Loading...