I have used default gnome, but suddenly after a bootup I got the MintMenu.
(Distro=Mint 12 Lisa, CPU=32 bits)
The user guide says:
Replace the menu with the default Gnome menu
If you decide you don’t like the menu and that no matter how cool it is, you want to use
the default Gnome menu instead, then follow the steps below.
Right click on the menu button within the panel and choose “Remove from Panel”.
Then right click on an empty part of the Panel and choose “Add to Panel”.
Then select “Main Menu” if you want a simple Gnome Menu, “Menu Bar” if you want
the default Gnome Menu or “mintMenu” if you change your mind and actually want to
use the Linux Mint menu.
Right clicking (or combinations of alt-right or ctrl-right) does not bring up neither "Remove from panel" nor "Add to panel".
I have looked through this forum but find no clue, so I have to ask. I would like to have back my default Gnome menu, since I am used to it and like it.