ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-01 23:20:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nitpicker: drop double press/release events

Browse Source 
Fixes #4639
This commit is contained in:
Norman Feske 2022-10-13 16:02:17 +02:00 committed by Christian Helmuth
parent 759ed40d98
commit c0fddd0a14
1 changed files with 24 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -112,23 +112,34 @@ void User_state::_handle_input_event(Input::Event ev)
ev.handle_touch([&] (Input::Touch_id, float x, float y) { ev.handle_touch([&] (Input::Touch_id, float x, float y) {
_pointer_pos = Point((int)x, (int)y); }); _pointer_pos = Point((int)x, (int)y); });
/* track key states, drop double press/release events */
{
bool drop = false;
ev.handle_press([&] (Keycode key, Codepoint) {
if (_key_array.pressed(key)) {
warning("suspicious double press of ", Input::key_name(key));
drop = true;
}
_key_array.pressed(key, true);
});
ev.handle_release([&] (Keycode key) {
if (!_key_array.pressed(key)) {
warning("suspicious double release of ", Input::key_name(key));
drop = true;
}
_key_array.pressed(key, false);
});
if (drop)
return;
}
/* count keys */ /* count keys */
if (ev.press()) _key_cnt++; if (ev.press()) _key_cnt++;
if (ev.release() && (_key_cnt > 0)) _key_cnt--; if (ev.release() && (_key_cnt > 0)) _key_cnt--;
/* track key states */
ev.handle_press([&] (Keycode key, Codepoint) {
if (_key_array.pressed(key))
Genode::warning("suspicious double press of ", Input::key_name(key));
_key_array.pressed(key, true);
});
ev.handle_release([&] (Keycode key) {
if (!_key_array.pressed(key))
Genode::warning("suspicious double release of ", Input::key_name(key));
_key_array.pressed(key, false);
});
if (ev.absolute_motion() || ev.relative_motion() || ev.touch()) { if (ev.absolute_motion() || ev.relative_motion() || ev.touch()) {
update_hover(); update_hover();