Ev3devKit.Ui.Scroll.scroll_amount – 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_amount
Description:
public
int
scroll_amount
{
set
;
get
; }
Gets and sets the default scroll distance in pixels used by
scroll_forward
and
scroll_backward
.