--- sawfish-1.2-gtk2/src/gtk-style.c.orig	2002-01-10 14:29:21.000000000 -0500
+++ sawfish-1.2-gtk2/src/gtk-style.c	2003-01-04 23:16:31.000000000 -0500
@@ -97,7 +97,7 @@
 {
 /* If GTK_MINOR_VERSION is not 2 we are using gtk+ 1.3.x or 2.0
    so these two members are no more */
-#if (GTK_MINOR_VERSION == 2)
+#if (GTK_MAJOR_VERSION == 1 && GTK_MINOR_VERSION == 2)
     if (rc->font_name != 0)
 	printf ("(font . \"%s\")\n", rc->font_name);
     if (rc->fontset_name != 0)