EV3_BUTTONS_NAME


Description:

public const unowned string EV3_BUTTONS_NAME

The name of the input device associated with the buttons on the EV3 brick itself.

This can be passed to DeviceManager.get_input_device to get the input device for the EV3 buttons.