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.