changeset 3448:987198910e56

tools (xml_tools): add missing `value` property to JidWidget
author Goffi <goffi@goffi.org>
date Thu, 10 Dec 2020 14:11:45 +0100 (2020-12-10)
parents c3f07c0cb2de
children 893582c2d983
files sat/tools/xml_tools.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/sat/tools/xml_tools.py	Thu Dec 10 10:32:54 2020 +0100
+++ b/sat/tools/xml_tools.py	Thu Dec 10 14:11:45 2020 +0100
@@ -983,6 +983,10 @@
         except AttributeError:
             self.elem.setAttribute("value", str(jid))
 
+    @property
+    def value(self):
+        return self.elem.getAttribute("value")
+
 
 class DividerWidget(Widget):
     type = "divider"