void keyboard_callback (const KeyboardEvent& event, void* /*cookie*/) { if (event.keyUp ()) { return; } }