QScintilla/MiniEditor.py

branch
Py2 comp.
changeset 3142
55030c09e142
parent 3080
6c0a430b19df
parent 3087
fdbce259929f
child 3145
a9de05d4a22f
equal deleted inserted replaced
3141:72f3bde98c58 3142:55030c09e142
2460 Private method to set/reset a monospaced font. 2460 Private method to set/reset a monospaced font.
2461 2461
2462 @param on flag to indicate usage of a monospace font (boolean) 2462 @param on flag to indicate usage of a monospace font (boolean)
2463 """ 2463 """
2464 if on: 2464 if on:
2465 f = Preferences.getEditorOtherFonts("MonospacedFont") 2465 if not self.lexer_:
2466 self.__textEdit.monospacedStyles(f) 2466 f = Preferences.getEditorOtherFonts("MonospacedFont")
2467 self.__textEdit.monospacedStyles(f)
2467 else: 2468 else:
2468 if not self.lexer_: 2469 if not self.lexer_:
2469 self.__textEdit.clearStyles() 2470 self.__textEdit.clearStyles()
2470 self.__setMargins() 2471 self.__setMargins()
2471 self.__textEdit.setFont( 2472 self.__textEdit.setFont(

eric ide

mercurial