[ Version ( since = "4.12" ) ]
public void scroll_to (Widget descendant, owned ScrollInfo? scroll)
Scrolls a descendant of the viewport into view.
The viewport and the descendant must be visible and mapped for this function to work, otherwise no scrolling will be performed.
this |
a `GtkViewport` |
descendant |
a descendant widget of the viewport |
scroll |
details of how to perform the scroll operation or NULL to scroll into view |