On 24/06/15 10:51, Sven Arvidsson wrote:
Anyway, I thought the mate terminal was just a fork of the gnome one,
so if it can't repaint it's probably a bug.
Mate terminal is a fork of GNOME 2's gnome-terminal; the gnome-terminal
package in Debian jessie is GNOME *3*'s gnome-terminal.
But yes, any failure-to-repaint sounds like a pretty clear-cut bug in
*something*, though it might not be in the expected place.
--
To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/558ac45c.3080...@zen.co.uk
