core (XMLUI): added a "value" property in TextWidget

src/tools/xml_tools.py

@@ -821,6 +821,10 @@ class TextWidget(Widget):
         value_elt.appendChild(text)
         self.elem.appendChild(value_elt)
 
+    @property
+    def value(self):
+        return self.elem.firstChild.firstChild.wholeText
+
 
 class LabelWidget(Widget):
     """One line blob of text