jump

For widgets with a slider that can be dragged to adjust a value, such as scrollbars, this option determines when notifications are made about changes in the value. The option's value must be #t or #f. If the value is #f, updates are made continuously as the slider is dragged. If the value is #t, updates are delayed until the mouse button is released to end the drag; at that point a single notification is made (the value ``jumps'' rather than changing smoothly).


© Author | Home | Sitemap