ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-15 06:57:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

nitpicker: deliver input seq in clicked report

Browse Source 
Issue #5496
Issue #5485
This commit is contained in:
Norman Feske 2025-04-11 19:19:01 +02:00
parent 0a626d09dd
commit c0dfa3983c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -539,6 +539,9 @@ void User_state::report_last_clicked_view_owner(Xml_generator &xml) const
_last_clicked->report(xml);
xml.attribute("version", _last_clicked_version);
if (_last_seq_number.constructed())
xml.attribute("seq_number", _last_seq_number->value);
}