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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]
