# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	patch-src-gtk-button.cpp
#	patch-src-gtk-window.cpp
#
echo x - patch-src-gtk-button.cpp
sed 's/^X//' >patch-src-gtk-button.cpp << 'END-of-patch-src-gtk-button.cpp'
X--- src/gtk/button.cpp.orig	2006-03-22 00:42:16.000000000 +0100
X+++ src/gtk/button.cpp	2007-11-22 14:00:47.000000000 +0100
X@@ -89,7 +89,7 @@
X             right_border += default_border->right;
X             top_border += default_border->top;
X             bottom_border += default_border->bottom;
X-            g_free( default_border );
X+            gtk_border_free( default_border );
X         }
X #else
X         left_border = 6;
END-of-patch-src-gtk-button.cpp
echo x - patch-src-gtk-window.cpp
sed 's/^X//' >patch-src-gtk-window.cpp << 'END-of-patch-src-gtk-window.cpp'
X--- src/gtk/window.cpp.orig	2006-03-22 00:42:17.000000000 +0100
X+++ src/gtk/window.cpp	2007-11-22 14:01:22.000000000 +0100
X@@ -3279,7 +3279,7 @@
X                 right_border += default_border->right;
X                 top_border += default_border->top;
X                 bottom_border += default_border->bottom;
X-                g_free( default_border );
X+                gtk_border_free( default_border );
X             }
X #else
X             left_border = 6;
END-of-patch-src-gtk-window.cpp
exit