# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1510732334 -3600
# Node ID dd15b6c0b1d3ab4b7239f4daa9d69c017dcf7405
# Parent  767509e8c2721b9a0cd0abb1661eba68c51dd780
input/xmlui: added 'jid' widget type, using string_widget for now

diff -r 767509e8c272 -r dd15b6c0b1d3 default/input/xmlui.html
--- a/default/input/xmlui.html	Sat Nov 11 18:41:13 2017 +0100
+++ b/default/input/xmlui.html	Wed Nov 15 08:52:14 2017 +0100
@@ -19,6 +19,9 @@
         {{ label_widget(wid, config) }}
     {% elif wid.type == 'string' %}
         {{ string_widget(wid, config, id=id) }}
+    {% elif wid.type == 'jid' %}
+        {# TODO: proper JID widget #}
+        {{ string_widget(wid, config, id=id) }}
     {% elif wid.type == 'textbox' %}
         {{ textbox_widget(wid, config, id=id) }}
     {% elif wid.type == 'list' %}