ID_TO_WIDGET_INCR 4313 src/gtkutil.c        if (TYPE_MAXIMUM (Window) - ID_TO_WIDGET_INCR < id_to_widget.max_size)
ID_TO_WIDGET_INCR 4316 src/gtkutil.c        new_size = id_to_widget.max_size + ID_TO_WIDGET_INCR;