int_gtk_range_get_value 4982 src/gtkutil.c        if (changed || int_gtk_range_get_value (GTK_RANGE (wscroll)) != value)
int_gtk_range_get_value 4990 src/gtkutil.c          if (int_gtk_range_get_value (GTK_RANGE (wscroll)) != value)