Is there some event (or hack) that I can use to know when the visible_region of a view has changed?
I’m interested in changes due to movement on a trackpad or from a mouse scroll wheel. Moving the cursor/selection fires on_selection_modified[_async] of course, but view region changes due to trackpad/mouse wheel do not change the selection.
I can do with it with a timeout, blech.
Thanks,
Toby