QScintilla/Shell.py

changeset 1566
0cb791cc631a
parent 1518
e6e21910210d
child 1588
dccffd13be8d
equal deleted inserted replaced
1563:9d2cccd2074e 1566:0cb791cc631a
256 if api is not None: 256 if api is not None:
257 api = api.getQsciAPIs() 257 api = api.getQsciAPIs()
258 if api is not None: 258 if api is not None:
259 self.lexer_.setAPIs(api) 259 self.lexer_.setAPIs(api)
260 260
261 self.lexer_.setDefaultColor(self.lexer_.color(0))
262 self.lexer_.setDefaultPaper(self.lexer_.paper(0))
263
261 def __setMargin0(self): 264 def __setMargin0(self):
262 """ 265 """
263 Private method to configure margin 0. 266 Private method to configure margin 0.
264 """ 267 """
265 # set the settings for all margins 268 # set the settings for all margins
339 self.setWrapMode(QsciScintilla.WrapNone) 342 self.setWrapMode(QsciScintilla.WrapNone)
340 self.useMonospaced = Preferences.getShell("UseMonospacedFont") 343 self.useMonospaced = Preferences.getShell("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