From 71a3e228ae198dffa9f283e77853bb142bf5d4c2 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 24 Oct 2024 19:06:36 +0200 Subject: [PATCH] nitpicker: report pointer pos in hover report Issue #5370 --- repos/os/src/server/nitpicker/main.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/repos/os/src/server/nitpicker/main.cc b/repos/os/src/server/nitpicker/main.cc index 2a241f377d..c97154f677 100644 --- a/repos/os/src/server/nitpicker/main.cc +++ b/repos/os/src/server/nitpicker/main.cc @@ -649,7 +649,9 @@ struct Nitpicker::Main : Focus_updater, Hover_updater, { if (_hover_reporter.enabled()) { Reporter::Xml_generator xml(_hover_reporter, [&] () { - _user_state.report_hovered_view_owner(xml, false); }); + _user_state.report_hovered_view_owner(xml, false); + _user_state.report_pointer_position(xml); + }); } } @@ -938,7 +940,9 @@ void Nitpicker::Main::_update_motion_and_focus_activity_reports() bool const hover_changed = (_reported_hover_count != _hover_count); if (hover_changed || (_reported_motion_activity != motion_activity)) { Reporter::Xml_generator xml(_hover_reporter, [&] { - _user_state.report_hovered_view_owner(xml, motion_activity); }); + _user_state.report_hovered_view_owner(xml, motion_activity); + _user_state.report_pointer_position(xml); + }); } bool const focus_changed = (_reported_focus_count != _focus_count);