x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl


1
2
3
4
5
6
7
8
9
10
11
12

--- scripts/sawfish-menu.jl.orig    Tue May 20 11:49:42 2003
+++ scripts/sawfish-menu.jl Tue May 20 11:50:54 2003
@@ -106,7 +106,8 @@
     (g-signal-connect menu "deactivate" gtk-main-quit)
     (setq menu-selected nil)
     (gtk-menu-popup-interp menu nil nil 0 (or timestamp 0) position)
-    (gtk-main)
+    (when (memq 'visible (GTK-WIDGET-FLAGS menu))
+      (gtk-main))
     menu-selected))