# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1510421964 -3600
# Node ID c2d88fe053036f24121b2ec3eb7a977c07a0cdbe
# Parent  07478106a10dfd8bab5d33a701d27c80a196ef56
core (XMLUI): added a "value" property in TextWidget

diff -r 07478106a10d -r c2d88fe05303 src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Sat Nov 11 18:35:28 2017 +0100
+++ b/src/tools/xml_tools.py	Sat Nov 11 18:39:24 2017 +0100
@@ -821,6 +821,10 @@
         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