void ObjectDataScreen::key_up(const KeyUpEvent& event) { if ((_trigger == KEY) && (event.key() == _key)) { stack()->pop(this); } }
void EventTracker::key_up(const KeyUpEvent& event) { if (_strict && !_keys.get(event.key())) { throw Exception(format("Received KeyUpEvent but key {0} already up.", event.key())); } _keys.set(event.key(), false); }