After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 693960 - use dark theme variant when using the '* on black' profiles
use dark theme variant when using the '* on black' profiles
Status: RESOLVED DUPLICATE of bug 649358
Product: gnome-terminal
Classification: Core
Component: Profiles
3.7.x
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2013-02-16 14:36 UTC by Jakub Steiner
Modified: 2013-02-18 13:09 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jakub Steiner 2013-02-16 14:36:21 UTC 
When using a dark palette, the window decorations and the widgets create a harsh contrast to the actual terminal area. It would be a nice tough to use the dark theme hint for the three profiles that use black as a background.
Comment 1 Christian Persch 2013-02-16 14:48:47 UTC 
A profile option doesn't really work, since there can be multiple windows and in each window multiple tabs each using a different profile...

Would a global option be good enough?
Comment 2 Jakub Steiner 2013-02-17 11:23:22 UTC 
Well it *is* a per-window property. And if you want to deal with the corner case of multi-tab profiles, I'd think the active tab defines/recolors the chrome.
Comment 3 Christian Persch 2013-02-18 13:09:01 UTC 
The gtksetting is global, not per-window or per-tab.

*** This bug has been marked as a duplicate of bug 649358 ***