Notes for myself... To change the icon for the Gnome Menu, update the icon for: /usr/share/icons/Bluecurve/48x48/apps Change "Bluecurve" to the theme that you're using.