Ev3devKit.Ui.Scroll.scroll_to_child – ev3devkit Reference Manual
Packages
ev3devkit
Ev3devKit
Ui
Scroll
direction
max_preferred_height
max_preferred_width
scroll_amount
scrollbar_visible
Scroll.horizontal
Scroll.vertical
do_layout
draw_content
get_preferred_height
get_preferred_height_for_width
get_preferred_width
get_preferred_width_for_height
scroll_backward
scroll_forward
scroll_to_child
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.