Utilities/__init__.py

changeset 4514
e410e76d6538
parent 4384
04896c4a5a8e
child 4631
5c1a96925da4
--- a/Utilities/__init__.py	Thu Oct 29 19:10:20 2015 +0100
+++ b/Utilities/__init__.py	Fri Oct 30 18:18:48 2015 +0100
@@ -632,7 +632,11 @@
             flags[key] = value
         else:
             # treat it as a boolean
-            flags[flag] = True
+            if flag[0] == "-":
+                # false flags start with '-'
+                flags[flag[1:]] = False
+            else:
+                flags[flag] = True
     
     return flags
 

eric ide

mercurial