-
Committer:
g7
-
Date:
2011-12-08 20:56:01 UTC
-
Revision ID:
morarossa@gmail.com-20111208205601-wy13ykwa24y316iy
ext/xdgmenu.py: fallback to applications.menu if not gnome-applications.menu;
New setting hide_settings_menu that hides the Preferences and Administration
menus.