diff options
-rw-r--r-- | x11/gnome-panel/Makefile | 2 | ||||
-rw-r--r-- | x11/gnome-panel/distinfo | 2 | ||||
-rw-r--r-- | x11/gnome-panel/files/patch-gnome-panel_panel-toplevel.c | 11 | ||||
-rw-r--r-- | x11/gnomepanel/Makefile | 2 | ||||
-rw-r--r-- | x11/gnomepanel/distinfo | 2 | ||||
-rw-r--r-- | x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c | 11 |
6 files changed, 26 insertions, 4 deletions
diff --git a/x11/gnome-panel/Makefile b/x11/gnome-panel/Makefile index ef0a79f74..49eb17ff1 100644 --- a/x11/gnome-panel/Makefile +++ b/x11/gnome-panel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gnomepanel -PORTVERSION= 2.3.4.1 +PORTVERSION= 2.3.6 CATEGORIES= x11 gnome MASTER_SITES= ${MASTER_SITE_GNOME} MASTER_SITE_SUBDIR= sources/gnome-panel/2.3 diff --git a/x11/gnome-panel/distinfo b/x11/gnome-panel/distinfo index bc217867f..75e75cdba 100644 --- a/x11/gnome-panel/distinfo +++ b/x11/gnome-panel/distinfo @@ -1 +1 @@ -MD5 (gnome2/gnome-panel-2.3.4.1.tar.bz2) = dc7f01f874633f9c9eab4a7c9edbd6e5 +MD5 (gnome2/gnome-panel-2.3.6.tar.bz2) = 74118d98b3546b799269b349d1d2c657 diff --git a/x11/gnome-panel/files/patch-gnome-panel_panel-toplevel.c b/x11/gnome-panel/files/patch-gnome-panel_panel-toplevel.c new file mode 100644 index 000000000..7de65e2ab --- /dev/null +++ b/x11/gnome-panel/files/patch-gnome-panel_panel-toplevel.c @@ -0,0 +1,11 @@ +--- gnome-panel/panel-toplevel.c.orig Thu Aug 7 13:11:03 2003 ++++ gnome-panel/panel-toplevel.c Thu Aug 7 13:11:14 2003 +@@ -1234,7 +1234,7 @@ + PanelOrientation orientation; + GdkScreen *screen; + gboolean topmost, bottommost, leftmost, rightmost; +- gboolean geometry_changed = FALSE;; ++ gboolean geometry_changed = FALSE; + int strut, strut_start, strut_end; + int x, y, width, height; + int monitor_x, monitor_y; diff --git a/x11/gnomepanel/Makefile b/x11/gnomepanel/Makefile index ef0a79f74..49eb17ff1 100644 --- a/x11/gnomepanel/Makefile +++ b/x11/gnomepanel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gnomepanel -PORTVERSION= 2.3.4.1 +PORTVERSION= 2.3.6 CATEGORIES= x11 gnome MASTER_SITES= ${MASTER_SITE_GNOME} MASTER_SITE_SUBDIR= sources/gnome-panel/2.3 diff --git a/x11/gnomepanel/distinfo b/x11/gnomepanel/distinfo index bc217867f..75e75cdba 100644 --- a/x11/gnomepanel/distinfo +++ b/x11/gnomepanel/distinfo @@ -1 +1 @@ -MD5 (gnome2/gnome-panel-2.3.4.1.tar.bz2) = dc7f01f874633f9c9eab4a7c9edbd6e5 +MD5 (gnome2/gnome-panel-2.3.6.tar.bz2) = 74118d98b3546b799269b349d1d2c657 diff --git a/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c b/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c new file mode 100644 index 000000000..7de65e2ab --- /dev/null +++ b/x11/gnomepanel/files/patch-gnome-panel_panel-toplevel.c @@ -0,0 +1,11 @@ +--- gnome-panel/panel-toplevel.c.orig Thu Aug 7 13:11:03 2003 ++++ gnome-panel/panel-toplevel.c Thu Aug 7 13:11:14 2003 +@@ -1234,7 +1234,7 @@ + PanelOrientation orientation; + GdkScreen *screen; + gboolean topmost, bottommost, leftmost, rightmost; +- gboolean geometry_changed = FALSE;; ++ gboolean geometry_changed = FALSE; + int strut, strut_start, strut_end; + int x, y, width, height; + int monitor_x, monitor_y; |