# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1607605905 -3600
# Node ID 987198910e56a7300f26cbbd2adc0034c686a76a
# Parent  c3f07c0cb2de998873aed3b7be3fb56427f228d8
tools (xml_tools): add missing `value` property to JidWidget

diff -r c3f07c0cb2de -r 987198910e56 sat/tools/xml_tools.py
--- 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"