diff --git a/repos/os/src/server/nitpicker/user_state.cc b/repos/os/src/server/nitpicker/user_state.cc index 8a0a64343b..4e1260417a 100644 --- a/repos/os/src/server/nitpicker/user_state.cc +++ b/repos/os/src/server/nitpicker/user_state.cc @@ -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); }