Ev3devKit.Ui.Button.Button – ev3devkit Reference Manual
Packages
ev3devkit
Ev3devKit
Ui
Button
draw_children_as_focused
Button
Button.with_label
draw_background
pressed
Button
Description:
public
Button
(
Widget
? child =
null
)
Creates a new Button.
Parameters:
child
The child for the button
Container
.