diff options
Diffstat (limited to 'x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl')
| -rw-r--r-- | x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl b/x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl new file mode 100644 index 000000000..af52f3457 --- /dev/null +++ b/x11-wm/sawfish/files/patch-scripts_sawfish-menu.jl @@ -0,0 +1,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)) + + |