This is the MATE terminal emulator application.  mate-terminal is
only the shell (menubar, prefs dialog); the terminal emulation ("stuff
in the middle") comes from the VTE widget. Remember this when
reporting a bug. ;-)

MATE terminal is a fork of GNOME terminal.
