From 6f7a4bf3a6a94dbccf0ed98568ffd54d4ad38b5e Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Tue, 23 Jul 2019 12:33:52 +0200 Subject: [PATCH] Add support for menulibre --- debian/control | 2 +- usr/lib/linuxmint/mintMenu/mintMenu.py | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) 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: