Change the Mint Menu preferences in Linux Mint 14 Cinnamon