Preferences/__init__.py

branch
5_1_x
changeset 951
08ecc72adb94
parent 887
ccc601bc1faf
child 1124
0663c41e24b9
diff -r 1138e347c653 -r 08ecc72adb94 Preferences/__init__.py
--- a/Preferences/__init__.py	Sat Mar 19 14:29:38 2011 +0100
+++ b/Preferences/__init__.py	Sat Mar 19 16:08:57 2011 +0100
@@ -1327,6 +1327,9 @@
     """
     col = prefClass.settings.value("Editor/Colour/" + key)
     if col is not None:
+        if len(col) == 9:
+            # color string with alpha
+            col = "#" + col[3:]
         return QtGui.QColor(col)
     else:
         return prefClass.editorColourDefaults[key]

eric ide

mercurial