On Thu, 2006-02-09 at 13:37 +0100, Mark Wielaard wrote: > Hi, > > gtk_range_set_range doesn't allow setting min == max. But Scrollbar does > allow that. The following patch makes sure that we set max to be bigger > than min and make sure that the page_size is at least max - min so to > the user it just looks like a scrollbar that cannot be adjusted (this > works because the actual max value of the scrollbar is max - page_size). > > 2006-02-09 Mark Wielaard <[EMAIL PROTECTED]> > > * native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkScrollbarPeer.c > (Java_gnu_java_awt_peer_gtk_GtkScrollbarPeer_create): Make sure max is > creater than min, adjusting page_size if necessary. > (Java_gnu_java_awt_peer_gtk_GtkScrollbarPeer_setValues): Likewise. > > Does this look sane?
Yes, this looks fine. Tom