scroll_to

Description:

[ Version ( since = "0.0.11" ) ]
public void scroll_to (Widget widget)

Scrolls to widget position with an animation.

animation_duration property can be used for controlling the duration.

this	a Paginator
widget	a child of this