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.

Parameters:

this

a Paginator
widget

a child of this