key_release_event

Description:

public virtual signal bool key_release_event (EventKey event)

The key_release_event signal is emitted when a key is released.

To receive this signal, the Window associated to the widget needs to enable the KEY_RELEASE_MASK mask.

This signal will be sent to the grab widget if there is one.

Parameters:

event

the EventKey which triggered this signal.

Returns:

true to stop other handlers from being invoked for the event. false to propagate the event further.