mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-17 08:01:36 +00:00
7cd8c2797d
Rename this ports to use the real vendor package name. The advantage of this is to allow our users' keyword search works and easier for users to file the Bugzilla report when they use our name of ports. Debian, Gentoo, NetBSD and other OSs have the correct package name, but not in our ports tree. My team, FreeBSD GNOME Team, have agreed with it. As for other ports, chase the rename.
13 lines
399 B
Julia
13 lines
399 B
Julia
--- 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))
|
||
|
||
|