Ev3devKit.Ui.Widget.padding_top – 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
padding_top
Description:
public
int
padding_top
{
set
;
get
; }
Gets and sets the top padding for the widget.