blob: af52f34579a56af14db2c59a28dd31f716f8900e (
plain) (
tree)
|
|
--- 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))
|