ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nitpicker: Hide global-operation key events

This commit is contained in:
Norman Feske 2014-06-17 10:25:58 +02:00
parent 295b4241aa
commit 26fcea44b2
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/src/server/nitpicker/user_state.cc
View File

@ -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);
/*