# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1392313849 -3600
# Node ID 462f2052af260488f69098d597103dbab9d02b72
# Parent  9e3641ea648f212e01e4dac0a26b84fd108e33ac
core(XMLUI): empty options in ListWidget now just show a warning message, no more assert

diff -r 9e3641ea648f -r 462f2052af26 src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Thu Feb 13 18:50:41 2014 +0100
+++ b/src/tools/xml_tools.py	Thu Feb 13 18:50:49 2014 +0100
@@ -608,7 +608,8 @@
         if style is None:
             style = set()
         styles = set(style)
-        assert options
+        if not options:
+            warning(_('empty "options" list'))
         if not styles.issubset(['multi']):
             raise exceptions.DataError(_("invalid styles"))
         super(ListWidget, self).__init__(xmlui, name, parent)