From 26fcea44b280da483f11c8727a017df99dd929b1 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 17 Jun 2014 10:25:58 +0200 Subject: [PATCH] nitpicker: Hide global-operation key events --- repos/os/src/server/nitpicker/user_state.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/repos/os/src/server/nitpicker/user_state.cc b/repos/os/src/server/nitpicker/user_state.cc index 666ebe963..1bdef2ffb 100644 --- a/repos/os/src/server/nitpicker/user_state.cc +++ b/repos/os/src/server/nitpicker/user_state.cc @@ -229,9 +229,12 @@ void User_state::handle_event(Input::Event ev) _input_receiver->submit_input_event(ev); } - /* deliver press/release event to focused session */ + /* + * Deliver press/release event to focused session. Never deliver events + * for keys that are configured for global operations. + */ if (type == Event::PRESS || type == Event::RELEASE) - if (_input_receiver) + if (_input_receiver && !_global_keys.is_operation_key(keycode)) _input_receiver->submit_input_event(ev); /*