Feature Request: Text Editor Scroll Events

[aesalazar]

Hi guys. I was setting out to create a new extension that shows a vertical margin control on the left side of the text editor. One requirement would be an event that fires when the user scrolls the viewport so my control can update its content. I found ITextViewMarginProvider, ITextViewChangedListener, and ITextViewOpenClosedListener but it seems the closest I can get is when the Caret changes position.

Is there such an event in the new API? If not, any plans to add it in the future?

Thanks!
Ernie