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