From 5723ee2ef2db84591bafb232ffa72a85e6c21f6d Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Tue, 24 Dec 2013 01:31:18 +0100
Subject: [PATCH] core (xml tools): bad default parameter in XMLUI.addList

---
 src/tools/xml_tools.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tools/xml_tools.py b/src/tools/xml_tools.py
index 659148a9..9804a70a 100644
--- a/src/tools/xml_tools.py
+++ b/src/tools/xml_tools.py
@@ -334,8 +334,10 @@ class XMLUI(object):
         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'])