|-----handy-ruler------------------------------------------------------| mate-terminal: mate-terminal (terminal emulator for the MATE desktop) mate-terminal: mate-terminal: mate-terminal is a terminal emulator application for the MATE mate-terminal: desktop. mate-terminal: mate-terminal: mate-terminal: mate-terminal: mate-terminal: mate-terminal: Homepage: http://www.mate-desktop.org mate-terminal: