diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-08-29 06:51:39 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-08-29 06:51:39 +0000 |
| commit | 1ce196c4f3576eaeaf1d23be1a24a5ef98183e38 (patch) | |
| tree | 8c3f8cd359dfb4e807d64ceea576ddbed9ed5b35 | |
| parent | 0b4cd7a0cfd84e2ff9c8893b6bd4ca69460c0e34 (diff) | |
add separator above "All desktops"
| -rw-r--r-- | plugins/menu/client_menu.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/menu/client_menu.c b/plugins/menu/client_menu.c index 1cbf097d..0c2167c3 100644 --- a/plugins/menu/client_menu.c +++ b/plugins/menu/client_menu.c @@ -113,6 +113,8 @@ static void send_to_update(ObMenuFrame *frame, gpointer data) guint desk; if (i >= screen_num_desktops) { + menu_add_separator(CLIENT_MENU_NAME, -1); + desk = DESKTOP_ALL; name = _("All desktops"); } else { |