Ev3devKit.Ui.Button.pressed – ev3devkit Reference Manual
Packages
ev3devkit
Ev3devKit
Ui
Button
draw_children_as_focused
Button
Button.with_label
draw_background
pressed
pressed
Description:
public
signal
void
pressed
()
Emitted when the Button has been pressed by the user.