1 files changed, 10 insertions, 0 deletions
diff --git a/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c b/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c
new file mode 100644
index 000000000000..a95963569336
--- /dev/null
+++ b/x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c
@@ -0,0 +1,10 @@
+--- Industrial/industrial_style.c.orig	Tue Mar 16 16:55:11 2004
++++ Industrial/industrial_style.c	Tue Mar 16 16:58:23 2004
+@@ -1801,6 +1801,7 @@
+ 	     gint             width,
+ 	     gint             height)
+ {
++	g_return_if_fail (widget != NULL);
+ #if DEBUG
+   printf ("draw_shadow: %p %p %s %i %i %i %i\n", widget, window, detail, x, y,
+ 	  width, height);