scroll_to

Description:

[ 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