# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1395410636 -3600
# Node ID 9754c0ebadba466b67011721427b14de435ca516
# Parent  fab49a1d5ea24d03dc85d99c6f2e7496af145328
core (XMLUI): BoolWidget now accept real boolean for value

diff -r fab49a1d5ea2 -r 9754c0ebadba src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Fri Mar 21 15:03:51 2014 +0100
+++ b/src/tools/xml_tools.py	Fri Mar 21 15:03:56 2014 +0100
@@ -579,7 +579,9 @@
     type = 'bool'
 
     def __init__(self, xmlui, value='false', name=None, parent=None):
-        if value == '0':
+        if isinstance(value, bool):
+            value = 'true' if value else 'false'
+        elif value == '0':
             value='false'
         elif value == '1':
             value='true'