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 debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/aghq5c-835....@id-306963.user.uni-berlin.de
