QScintilla/Terminal.py

changeset 1566
0cb791cc631a
parent 1518
e6e21910210d
child 1588
dccffd13be8d
equal deleted inserted replaced
1563:9d2cccd2074e 1566:0cb791cc631a
259 font = QFont(fdesc[0], int(fdesc[1])) 259 font = QFont(fdesc[0], int(fdesc[1]))
260 self.lexer_.setDefaultFont(font) 260 self.lexer_.setDefaultFont(font)
261 self.setLexer(self.lexer_) 261 self.setLexer(self.lexer_)
262 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla") 262 self.lexer_.readSettings(Preferences.Prefs.settings, "Scintilla")
263 263
264 self.lexer_.setDefaultColor(self.lexer_.color(0))
265 self.lexer_.setDefaultPaper(self.lexer_.paper(0))
266
264 def __setMargin0(self): 267 def __setMargin0(self):
265 """ 268 """
266 Private method to configure margin 0. 269 Private method to configure margin 0.
267 """ 270 """
268 # set the settings for all margins 271 # set the settings for all margins
339 self.setWrapMode(QsciScintilla.WrapNone) 342 self.setWrapMode(QsciScintilla.WrapNone)
340 self.useMonospaced = Preferences.getTerminal("UseMonospacedFont") 343 self.useMonospaced = Preferences.getTerminal("UseMonospacedFont")
341 self.__setMonospaced(self.useMonospaced) 344 self.__setMonospaced(self.useMonospaced)
342 345
343 self.setCursorFlashTime(QApplication.cursorFlashTime()) 346 self.setCursorFlashTime(QApplication.cursorFlashTime())
347
348 if Preferences.getEditor("OverrideEditAreaColours"):
349 self.setColor(Preferences.getEditorColour("EditAreaForeground"))
350 self.setPaper(Preferences.getEditorColour("EditAreaBackground"))
344 351
345 def __setMonospaced(self, on): 352 def __setMonospaced(self, on):
346 """ 353 """
347 Private method to set/reset a monospaced font. 354 Private method to set/reset a monospaced font.
348 355

eric ide

mercurial