x11-themes/gnome-themes-extras/files/patch-Industrial_industrial_style.c


1
2
3
4
5
6
7
8
9
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);