QScintilla/MiniEditor.py

changeset 939
10d3a201cd27
parent 882
34b86be88bf0
child 945
8cd4d08fa9f6
--- a/QScintilla/MiniEditor.py	Thu Mar 10 14:50:53 2011 +0100
+++ b/QScintilla/MiniEditor.py	Thu Mar 10 16:22:08 2011 +0100
@@ -1692,6 +1692,16 @@
         self.__textEdit.setIndentationGuides(Preferences.getEditor("IndentationGuides"))
         if Preferences.getEditor("ShowWhitespace"):
             self.__textEdit.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.__textEdit.setWhitespaceVisibility(QsciScintilla.WsInvisible)
         self.__textEdit.setEolVisibility(Preferences.getEditor("ShowEOL"))

eric ide

mercurial