myGtkMenu 

a custom menu for Linux