Ev3devKit.Ui.Widget.Widget – 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
Widget
Description:
protected
Widget
()
Creates a new instance of a widget.