Scroller Widget onScrollEnd

Initial motivation for this feature: 
onScroll is not reliable emitted while scrolling fast on touch devices

so onScrollEnd is used to also render effects on new text-page-type (because it is always triggered after scrolling, no matter how fast)