There's no global event for when keys are being released. However, all GUI controls (including GraalControl) have an onKeyDown and an onKeyUp event, to be used like this:
PHP Code:
function GraalControl.onKeyDown(keycode,keystring,scancode) {
// stuff
}
function GraalControl.onKeyUp(keycode,keystring,scancode) {
// stuff
}