public override void keyUp(NSEvent theEvent){ if (_eventDelegate != null) _eventDelegate.keyUp (theEvent); } #endif