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. i used gnome-terminal some time ago while running Mate and i don't recall there being any problem other than having to set up a menu entry for it. songbird