Ev3devKit.Ui.Widget.margin – ev3devkit Reference Manual
Packages
ev3devkit
Ev3devKit
Ui
Widget
border
border_bottom
border_left
border_radius
border_right
border_top
can_focus
has_focus
horizontal_align
margin
margin_bottom
margin_left
margin_right
margin_top
next_focus_widget_down
next_focus_widget_left
next_focus_widget_right
next_focus_widget_up
padding
padding_bottom
padding_left
padding_right
padding_top
parent
represented_object
vertical_align
visible
weak_represented_object
window
Widget
do_layout
do_recursive_children
do_recursive_parent
draw_background
draw_border
draw_content
focus
focus_next
get_focused_child
get_margin_border_padding_height
get_margin_border_padding_width
get_preferred_height
get_preferred_height_for_width
get_preferred_width
get_preferred_width_for_height
redraw
set_bounds
key_pressed
border_bounds
bounds
content_bounds
margin
Description:
public
int
margin
{
set
; }
Sets all margins (top, bottom, left, right) for the widget.