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/config.h | |
| parent | 6b04ac47e2306b7b37a2f52753a94a7b87515f7a (diff) | |
Add the manageDesktops option.
Diffstat (limited to 'openbox/config.h')
| -rw-r--r-- | openbox/config.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/openbox/config.h b/openbox/config.h index 23011a15..3fd1b879 100644 --- a/openbox/config.h +++ b/openbox/config.h @@ -177,8 +177,10 @@ extern guint config_menu_hide_delay; extern gboolean config_menu_middle; /*! Delay before opening a submenu in milliseconds */ extern guint config_submenu_show_delay; -/*! show icons in client_list_menu */ +/*! Show icons in client_list_menu */ extern gboolean config_menu_client_list_icons; +/*! Show manage desktops in client_list_menu */ +extern gboolean config_menu_manage_desktops; /*! User-specified menu files */ extern GSList *config_menu_files; /*! Per app settings */ |