QScintilla/MiniEditor.py

changeset 3087
fdbce259929f
parent 3067
8fd7ae10de2b
child 3142
55030c09e142
child 3160
209a07d7e401
equal deleted inserted replaced
3085:4a0f54a64496 3087:fdbce259929f
2458 Private method to set/reset a monospaced font. 2458 Private method to set/reset a monospaced font.
2459 2459
2460 @param on flag to indicate usage of a monospace font (boolean) 2460 @param on flag to indicate usage of a monospace font (boolean)
2461 """ 2461 """
2462 if on: 2462 if on:
2463 f = Preferences.getEditorOtherFonts("MonospacedFont") 2463 if not self.lexer_:
2464 self.__textEdit.monospacedStyles(f) 2464 f = Preferences.getEditorOtherFonts("MonospacedFont")
2465 self.__textEdit.monospacedStyles(f)
2465 else: 2466 else:
2466 if not self.lexer_: 2467 if not self.lexer_:
2467 self.__textEdit.clearStyles() 2468 self.__textEdit.clearStyles()
2468 self.__setMargins() 2469 self.__setMargins()
2469 self.__textEdit.setFont( 2470 self.__textEdit.setFont(

eric ide

mercurial