ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nitpicker: report pointer pos in hover report

Browse Source 
Issue #5370
This commit is contained in:
Norman Feske 2024-10-24 19:06:36 +02:00 committed by Christian Helmuth
parent 01c96cf537
commit 71a3e228ae
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/server/nitpicker/main.cc
View File

@ -649,7 +649,9 @@ struct Nitpicker::Main : Focus_updater, Hover_updater,
{ {
if (_hover_reporter.enabled()) { if (_hover_reporter.enabled()) {
Reporter::Xml_generator xml(_hover_reporter, [&] () { 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); bool const hover_changed = (_reported_hover_count != _hover_count);
if (hover_changed || (_reported_motion_activity != motion_activity)) { if (hover_changed || (_reported_motion_activity != motion_activity)) {
Reporter::Xml_generator xml(_hover_reporter, [&] { 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); bool const focus_changed = (_reported_focus_count != _focus_count);