diff --git a/repos/gems/src/app/menu_view/widget.h b/repos/gems/src/app/menu_view/widget.h index fe928b3b57..35a2d135f7 100644 --- a/repos/gems/src/app/menu_view/widget.h +++ b/repos/gems/src/app/menu_view/widget.h @@ -102,18 +102,23 @@ class Menu_view::Widget : List_model::Element } }; - static Name node_name(Xml_node node) + static Name node_name(Xml_node const &node) { return node.attribute_value("name", Name(node.type())); } + static Version node_version(Xml_node const &node) + { + return node.attribute_value("version", Version()); + } + static Animated_rect::Steps motion_steps() { return { 60 }; }; protected: Type_name const _type_name; Name const _name; - Version const _version { }; + Version const _version; Unique_id const _unique_id; @@ -143,7 +148,7 @@ class Menu_view::Widget : List_model::Element { return node.has_type(w._type_name.string()) && Widget::node_name(node) == w._name - && node.attribute_value("version", Version()) == w._version; + && node_version(node) == w._version; } } _model_update_policy { _factory }; @@ -218,6 +223,7 @@ class Menu_view::Widget : List_model::Element : _type_name(node.type()), _name(node_name(node)), + _version(node_version(node)), _unique_id(unique_id), _factory(factory) { }