changeset 820:462f2052af26

core(XMLUI): empty options in ListWidget now just show a warning message, no more assert
author Goffi <goffi@goffi.org>
date Thu, 13 Feb 2014 18:50:49 +0100
parents 9e3641ea648f
children 38bc9abd6722
files src/tools/xml_tools.py
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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)