The new Mint Menu for xfce editions of Linux Mint is called Whisker Menu
. It has been introduced in Linux Mint 15 xfce
. And I guess it is there to stay.
I have started using it when the Petra backports had broken the old Mate Mint Menu on my Mint 13 xfce. I followed the instructions given here, in particular those referring to xfce 4.10: Install Whisker Menu in Xubuntu
Whisker Menu works perfectly. Ever since it has made its way onto my Mint13 xfce I have not missed the old Mate Mint Menu for half a minute.
So my piece of advice:
Take a closer look at Whisker Menu. It looks great. It works great. Time to let the old Mint Menu go and say hello to the Whisker Menu
.Mint 16 xfce comes with the Whisker Menu pre-installed
like Mint 15 xfce. Yet, as the Whisker Menu version that ships with Mint 16 seems to be v1.2, whereas the current version has advanced to v1.3.1, I would suggest to add the ppa:landronimirc/xfce
and use the most recent version instead.