diff --git a/debian/control b/debian/control index a3986dc..a2d2733 100644 --- a/debian/control +++ b/debian/control @@ -27,7 +27,7 @@ Depends: gir1.2-gtk-3.0, gir1.2-mate-desktop, gir1.2-xapp-1.0, - mozo + menulibre | mozo Description: Advanced MATE menu One of the most advanced menus under Linux. MintMenu supports filtering, favorites, easy-uninstallation, autosession, and many other features. diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 2e1a9de..1ec3280 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -595,7 +595,10 @@ class MenuWin(object): Execute("/usr/lib/linuxmint/mintMenu/preferences.py") def showMenuEditor(self, action, userdata = None): - Execute("mozo") + if os.path.exists("/usr/bin/menulibre"): + Execute("menulibre") + else: + Execute("mozo") def showMenu(self, widget=None, event=None): if event == None or event.button == 1: