set-position in scroll-event%

Records the position of the scrollbar after the action triggering the event. (The scrollbar itself is unaffected). See also get-position.

• (send a-scroll-event set-position position) -> void
     position : exact integer in [0, 10000]