button_release_event


Description:

public signal void button_release_event (Event event)

Emitted when a button is released.

Parameters:

event

the event emitted by the device