Ev3devKit.Ui.Box.spacing – ev3devkit Reference Manual
Packages
ev3devkit
Ev3devKit
Ui
Box
direction
spacing
Box.horizontal
Box.vertical
do_layout
get_preferred_height
get_preferred_height_for_width
get_preferred_width
get_preferred_width_for_height
spacing
Description:
public
int
spacing
{
set
;
get
; }
Gets and sets the spacing in pixels between the widgets in the draw_box.
Default value is 2 pixels.