# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1387845078 -3600
# Node ID f021bf27a55745f023cbab7ada2fe4615246c42f
# Parent  7f98f53f69979174ef8b8725188307920a49ff43
core (xml tools): bad default parameter in XMLUI.addList

diff -r 7f98f53f6997 -r f021bf27a557 src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Tue Dec 24 01:31:01 2013 +0100
+++ b/src/tools/xml_tools.py	Tue Dec 24 01:31:18 2013 +0100
@@ -334,8 +334,10 @@
         elem.setAttribute('value', value)
         return elem
 
-    def addList(self, options, name=None, value=None, style=set()):
+    def addList(self, options, name=None, value=None, style=None):
         """Add a list of choices"""
+        if style is None:
+            style = set()
         styles = set(style)
         assert options
         assert styles.issubset(['multi'])