Norman Feske 567d9f7910 Xml_node::Unquoted utility for attribute values
The new utility can be used to revert quoted XML attribute values.
Such quoting is needed whenever an attribute value can contain '"'
characters. E.g., in the menu_view's <label text="..."> widget.

Issue #1757
2020-02-04 15:51:10 +01:00
..
2018-02-09 13:34:23 +01:00
2019-02-19 11:12:11 +01:00
2019-01-07 12:33:56 +01:00
2018-11-16 14:37:18 +01:00
2017-03-15 12:32:24 +01:00