The Linux Mint GNOME Menu
Before you upgrade mintMenu you should make sure to clean your Gconf entries for it. This will make you loose your mintMenu preferences but that’s the price to pay to get the clean new shiny version:
1. Right click on mintMenu and remove it from the Gnome panel
2. Open a terminal and type “gconftool-2 –recursive-unset /apps/mintMenu”
Once you’ve done that you can get mintMenu 4.1 from the Romeo repositories, or you can get the debs from the download page.
In a hurry? Add it to your Download Basket!
What's New in version 4.1
- System plugin refactored (to the user that will look better aligned)
- Places plugin refactored (this gets rid of a bug that made “home”, “desktop” and “network” take the focus away from the filter bar)
- Pongo and formatting removed from localization files to make it easier to translate the tool
- MintMenu now relies on mintSystem to get common data