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