QScintilla/Shell.py

changeset 1566
0cb791cc631a
parent 1518
e6e21910210d
child 1588
dccffd13be8d
--- a/QScintilla/Shell.py	Fri Jan 20 18:54:06 2012 +0100
+++ b/QScintilla/Shell.py	Sat Jan 21 15:01:53 2012 +0100
@@ -258,6 +258,9 @@
             if api is not None:
                 self.lexer_.setAPIs(api)
         
+        self.lexer_.setDefaultColor(self.lexer_.color(0))
+        self.lexer_.setDefaultPaper(self.lexer_.paper(0))
+        
     def __setMargin0(self):
         """
         Private method to configure margin 0.
@@ -342,6 +345,10 @@
         
         self.setCursorFlashTime(QApplication.cursorFlashTime())
         
+        if Preferences.getEditor("OverrideEditAreaColours"):
+            self.setColor(Preferences.getEditorColour("EditAreaForeground"))
+            self.setPaper(Preferences.getEditorColour("EditAreaBackground"))
+        
     def __setMonospaced(self, on):
         """
         Private method to set/reset a monospaced font.

eric ide

mercurial