mintMenu 4.1


Nothing groundbreaking was planned for mintMenu in Linux Mint 6 but it still needed many little adjustments, so here comes mintMenu 4.1 with the following changes:

  • The search command (which is launched when you press enter after typing text in the filter bar) is now configurable.
  • The menu icon is now configurable
  • In the places plugin, “Software Portal” was replaced with “Software Manager” and now launches the new MintInstall frontend
  • The menu name used to be “Elyssa” and is now “Menu” by default

Also, a lot of bug-fixing and refactoring was done:

  • 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
  • About dialog now shows GPL licence
  • All double capital letters were removed “All Applications”, “All Categories” etc..


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 here:

Once the installation is finished, you can right click on the Gnome panel and add mintMenu again.


mintMenu 4.1 is currently supporting English and French. Please help us translate it by following the instructions written on this forum thread:

Feedback and bugs

Please post comments here on the blog if you find bugs in mintMenu 4.1. Give us feedback also if you like it and if everything’s fine so we can eventually consider it stable and move it down to stable repositories.

Spread the word

We’re trying to raise people’s awareness about the Mint project and we’ve added a Digg plugin to this blog. If you find this blog post interesting, please help us spread the word by submitting it as a Digg story or by digging it if it’s already submitted.