From 50e27d63159b7a0a3b796d2b0fd3ac88d3b21983 Mon Sep 17 00:00:00 2001
From: id <id>
Date: Fri, 30 Apr 1999 23:57:51 +0000
Subject: [PATCH] Dirty hack to fix user menu problem.

---
 src/window.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/window.c b/src/window.c
index 79e1c442..4e309899 100644
--- a/src/window.c
+++ b/src/window.c
@@ -1187,6 +1187,11 @@ wManageWindow(WScreen *scr, Window window)
     /* If the window must be withdrawed, then do it now.
      * Must do some optimization, 'though */
     if (withdraw) {
+#ifdef USER_MENU
+    WApplication *app=NULL;
+    app = wApplicationOf(wwin->main_window);
+    if (app) wAppMenuUnmap(app->menu);
+#endif /* USER_MENU */
 	wwin->flags.mapped = 0;
 	wClientSetState(wwin, WithdrawnState, None);
 	wUnmanageWindow(wwin, True, False);
@@ -1431,6 +1436,13 @@ wUnmanageWindow(WWindow *wwin, Bool restore, Bool destroyed)
 	if (wwin->next)
 	  wwin->next->prev = wwin->prev;
 	else {
+#ifdef USER_MENU
+        if (scr->focused_window) {
+            WApplication *app=NULL;
+            app = wApplicationOf(scr->focused_window->main_window);
+            if (app) wAppMenuUnmap(app->menu);
+        }
+#endif /* USER_MENU */
 	    scr->focused_window = wwin->prev;
 	    scr->focused_window->next = NULL;
 	}