1. 2008-05-11 Re: Changing Panel Names for Gnome Menu Launcher ?? gnome MHR 2. 2008-05-10 Re: Changing Panel Names for Gnome Menu Launcher ?? gnome Gianluca Borello 3. 2008-05-10 Changing Panel Names for Gnome Menu Launcher ?? gnome William Case