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( |