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