From 1ce196c4f3576eaeaf1d23be1a24a5ef98183e38 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Fri, 29 Aug 2003 06:51:39 +0000 Subject: [PATCH] add separator above "All desktops" --- plugins/menu/client_menu.c | 2 ++ 1 file changed, 2 insertions(+) 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 { -- 2.39.2