|-----handy-ruler------------------------------------------------------| gnome-main-menu: gnome-main-menu (Mate Panel Applet) gnome-main-menu: gnome-main-menu: gnome-main-menu is a set of three utilities, a mate-panel applet gnome-main-menu: similar to the traditional main-menu, but with a few additions gnome-main-menu: gnome-main-menu: gnome-main-menu: gnome-main-menu: gnome-main-menu: gnome-main-menu: Homepage: http://www.mate-desktop.org gnome-main-menu: