get-position in scroll-event%
Returns the position of the scrollbar after the action triggering the
event. See also
set-position.
get-position in scroll-event%
Returns the position of the scrollbar after the action triggering the
event. See also
set-position.