diff options
| author | Martin Wimpress <[email protected]> | 2017-01-20 11:02:52 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-01-20 11:02:52 +0000 |
| commit | a506150684ad2e71b1f70190ee70fe9eda7a4ba9 (patch) | |
| tree | 83bb94cdefd88130cfc6334d22ad602ba42315bf /applets/wncklet/workspace-switcher.c | |
| parent | b39014be1238e369d481667cdda787dace91382d (diff) | |
| download | mate-panel-a506150684ad2e71b1f70190ee70fe9eda7a4ba9.tar.bz2 mate-panel-a506150684ad2e71b1f70190ee70fe9eda7a4ba9.tar.xz | |
Add (optional) support for menulibre. https://smdavis.us/projects/menulibre/ (#515)
This patch re-purposes the existing fallback support for the now obsolete
matemenu-simple-editor to add (optional) support for menulibre. The logic is
simple, if menulibre is installed use it in preference to mozo. If menulibre
is not available, fallback to mozo.
The rationale is this; if you've installed menulibre you want to use it
in preference to mozo. Menulibre offers a superset of menu editting
capabilities compared to mozo and is growing in popularity. This change will
allow distro maintainers to chose which menu editor they want
to offer.
Diffstat (limited to 'applets/wncklet/workspace-switcher.c')
0 files changed, 0 insertions, 0 deletions