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]