[ Version ( since = "0.0.11" ) ]
public void scroll_to_full (Widget widget, int64 duration)
Scrolls to widget position with an animation.
| this | |
| widget |
a child of this |
| duration |
animation duration in milliseconds |