QScintilla/Editor.py

changeset 939
10d3a201cd27
parent 938
f421f2138c0f
child 945
8cd4d08fa9f6
--- a/QScintilla/Editor.py	Thu Mar 10 14:50:53 2011 +0100
+++ b/QScintilla/Editor.py	Thu Mar 10 16:22:08 2011 +0100
@@ -3375,6 +3375,16 @@
         self.setIndentationGuides(Preferences.getEditor("IndentationGuides"))
         if Preferences.getEditor("ShowWhitespace"):
             self.setWhitespaceVisibility(QsciScintilla.WsVisible)
+            try:
+                self.setWhitespaceForegroundColor(
+                    Preferences.getEditorColour("WhitespaceForeground"))
+                self.setWhitespaceBackgroundColor(
+                    Preferences.getEditorColour("WhitespaceBackground"))
+                self.setWhitespaceSize(
+                    Preferences.getEditor("WhitespaceSize"))
+            except AttributeError:
+                # QScintilla before 2.5 doesn't support this
+                pass
         else:
             self.setWhitespaceVisibility(QsciScintilla.WsInvisible)
         self.setEolVisibility(Preferences.getEditor("ShowEOL"))

eric ide

mercurial