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