--- src.x11/gapgraph.c.orig	2024-02-07 16:26:14.000000000 -0700
+++ src.x11/gapgraph.c	2024-02-09 11:45:26.889608587 -0700
@@ -121,6 +121,7 @@ static void GapGraphDestroy ( Widget w )
 }
 
 
+#if 0
 /****************************************************************************
 **
 *F  GapGraphResize( <w> ) . . . . . . . . . . . . . .  ignore resize requests
@@ -132,6 +133,7 @@ static void GapGraphResize ( Widget w )
     gap->core.width  = gap->gap_graphic.width;
     gap->core.height = gap->gap_graphic.height;
 }
+#endif
 
 
 /****************************************************************************