# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1509487646 -3600
# Node ID f4b6176eb65fe74518c232bfb79a2df5df028db9
# Parent  f05c884cd3ef12b8a60d7f6c8c33cfd0248399b1
core (xmlui): fixed data_form => XMLUI conversion when filters is None

diff -r f05c884cd3ef -r f4b6176eb65f src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Fri Oct 27 18:24:35 2017 +0200
+++ b/src/tools/xml_tools.py	Tue Oct 31 23:07:26 2017 +0100
@@ -118,6 +118,8 @@
         This is especially useful to modify well known fields
     @return: the completed XMLUI instance
     """
+    if filters is None:
+        filters = {}
     if form.instructions:
         form_ui.addText('\n'.join(form.instructions), 'instructions')