426 Private method to set/reset a monospaced font. |
426 Private method to set/reset a monospaced font. |
427 |
427 |
428 @param on flag to indicate usage of a monospace font (boolean) |
428 @param on flag to indicate usage of a monospace font (boolean) |
429 """ |
429 """ |
430 if on: |
430 if on: |
431 f = Preferences.getShell("MonospacedFont") |
431 if not self.lexer_: |
432 self.monospacedStyles(f) |
432 f = Preferences.getShell("MonospacedFont") |
|
433 self.monospacedStyles(f) |
433 else: |
434 else: |
434 if not self.lexer_: |
435 if not self.lexer_: |
435 self.clearStyles() |
436 self.clearStyles() |
436 self.__setMargin0() |
437 self.__setMargin0() |
437 self.setFont(Preferences.getShell("MonospacedFont")) |
438 self.setFont(Preferences.getShell("MonospacedFont")) |