scroll_to_child


Description:

public void scroll_to_child (Widget child)

Ensure that a child widget is visible.

Parameters:

child

The child widget to scroll to.