Fwd: Detect scrollbar change due to user interaction

[Daniel Boles <dboles src gmail com>]

then maybe signal_scroll_event() ?

If you first confirm all of the things you have tried and why they didn't work for you, it will save us having to suggest things you have already discounted.