EV3devKit.UI.Menu.spacing – ev3devkit Reference Manual
Packages
ev3devkit
EV3devKit
UI
Menu
MenuItemIterator
spacing
FindFunc
Menu
add_menu_item
find_menu_item
has_menu_item
insert_menu_item
menu_item_iter
remove_all_menu_items
remove_menu_item
sort_menu_items
spacing
Description:
public
int
spacing
{
set
;
get
; }
Gets and sets the spacing in pixels between menu items.