diff options
| author | Mikael Magnusson <mikachu@comhem.se> | 2008-02-03 16:53:33 +0100 |
|---|---|---|
| committer | Mikael Magnusson <mikachu@comhem.se> | 2008-02-04 02:26:00 +0100 |
| commit | 12ca673de556b341588a7f67fb2b9417c1e91d6b (patch) | |
| tree | 7bdeae8b8ea53081d6d3543174a68fb04437ba35 /openbox/client_list_menu.c | |
| parent | 6b04ac47e2306b7b37a2f52753a94a7b87515f7a (diff) | |
Add the manageDesktops option.
Diffstat (limited to 'openbox/client_list_menu.c')
| -rw-r--r-- | openbox/client_list_menu.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/openbox/client_list_menu.c b/openbox/client_list_menu.c index 0febe2e6..e6521a0a 100644 --- a/openbox/client_list_menu.c +++ b/openbox/client_list_menu.c @@ -153,10 +153,12 @@ static gboolean self_update(ObMenuFrame *frame, gpointer data) desktop_menus = g_slist_append(desktop_menus, submenu); } - menu_add_separator(menu, SEPARATOR, NULL); - menu_add_normal(menu, ADD_DESKTOP, _("_Add new desktop"), NULL, TRUE); - menu_add_normal(menu, REMOVE_DESKTOP, _("_Remove last desktop"), - NULL, TRUE); + if (config_menu_manage_desktops) { + menu_add_separator(menu, SEPARATOR, NULL); + menu_add_normal(menu, ADD_DESKTOP, _("_Add new desktop"), NULL, TRUE); + menu_add_normal(menu, REMOVE_DESKTOP, _("_Remove last desktop"), + NULL, TRUE); + } return TRUE; /* always show */ } |