EV3devKit.UI.Grid.border – ev3devkit Reference Manual
Packages
ev3devkit
EV3devKit
UI
Grid
border
border_column
border_row
columns
rows
Grid
add_at
do_layout
draw_border
get_child_at
get_position_for_child
get_preferred_height
get_preferred_height_for_width
get_preferred_width
get_preferred_width_for_height
border
Description:
public
int
border
{
set
; }
Sets all border widths (top, bottom, left, right, row, column) for the widget.