Processed: Re: Bug#731392: gnome-terminal: text is invisible when "Use colors from system theme" is ticked

Thu Dec 5 12:45:31 UTC 2013

Processing commands for control at bugs.debian.org:

> forcemerge 721489 731392
Bug #721489 [gnome-terminal] gnome-terminal: window is blank (no output nor echo) but works
Bug #723721 [gnome-terminal] gnome-terminal: colors are swapped
Bug #721489 [gnome-terminal] gnome-terminal: window is blank (no output nor echo) but works
Marked as found in versions gnome-terminal/3.10.1-1.
Marked as found in versions gnome-terminal/3.10.1-1.
Bug #731392 [gnome-terminal] gnome-terminal: text is invisible when "Use colors from system theme" is ticked
Severity set to 'grave' from 'normal'
Marked as found in versions gnome-terminal/3.4.1.1-2 and gnome-terminal/3.8.3-1.
Added tag(s) sid and jessie.
Bug #723721 [gnome-terminal] gnome-terminal: colors are swapped
Merged 721489 723721 731392
> retitle 721489 gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME
Bug #721489 [gnome-terminal] gnome-terminal: window is blank (no output nor echo) but works
Bug #723721 [gnome-terminal] gnome-terminal: colors are swapped
Bug #731392 [gnome-terminal] gnome-terminal: text is invisible when "Use colors from system theme" is ticked
Changed Bug title to 'gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME' from 'gnome-terminal: window is blank (no output nor echo) but works'
Changed Bug title to 'gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME' from 'gnome-terminal: colors are swapped'
Changed Bug title to 'gnome-terminal: black-on-black text with "Use colors from system theme" under non-GNOME' from 'gnome-terminal: text is invisible when "Use colors from system theme" is ticked'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
721489: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=721489
723721: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723721
731392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731392
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems