key_released

Description:

public signal void key_released (uint keyval, uint keycode, ModifierType state)

Emitted whenever a key is released.

Parameters:

keyval

the released key.
keycode

the raw code of the released key.
state

the bitmask, representing the state of modifier keys and pointer buttons.