Remove the App Menu from the Panel ** I will no longer maintain this, as stated below in 3.10 and above you can use the Gnome Tweek Tool to do the same. Thank you for your interest and loyalty! **
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
You do not need to do your own bookkeeping for the status of the extension, but sure.
Ok, thanks, I wasn't sure if it would cause problems to try to remove stuff several times in a row or add it several times, at least I'm sure by doing it this way :-). Thanks for the site, it looks and works great!