# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1508132201 -7200
# Node ID 72c30e73a9a536fa0285a4a6f50d8c9abe5e1229
# Parent  59636c4db2d0821e65b701c7fec7c32dc82d1f39
plugin schema: use new "prepend" argument to put "id" widget first.

diff -r 59636c4db2d0 -r 72c30e73a9a5 src/plugins/plugin_exp_pubsub_schema.py
--- a/src/plugins/plugin_exp_pubsub_schema.py	Mon Oct 16 07:36:03 2017 +0200
+++ b/src/plugins/plugin_exp_pubsub_schema.py	Mon Oct 16 07:36:41 2017 +0200
@@ -228,9 +228,11 @@
                 form = data_form.Form.fromElement(x_elt)
                 if form_ns and form.formNamespace != form_ns:
                     continue
-                xmlui = xml_tools.dataFormResult2XMLUI(form, schema_form)
-                xmlui.addLabel('id')
-                xmlui.addText(item_elt['id'], name='id')
+                xmlui = xml_tools.dataFormResult2XMLUI(
+                    form,
+                    schema_form,
+                    prepend = (('label', 'id'),('text', item_elt['id'], u'id'))
+                    )
                 items_xmlui.append(xmlui)
                 break
         defer.returnValue((items_xmlui, metadata))