EV3devKit.UI.Scroll.max_preferred_height – 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
max_preferred_height
Description:
public
int
max_preferred_height
{
set
;
get
; }
Gets and sets the maximum preferred height for the scroll area.