QScintilla/Shell.py

changeset 3087
fdbce259929f
parent 3068
e2650fb5db4e
child 3142
55030c09e142
child 3160
209a07d7e401
equal deleted inserted replaced
3085:4a0f54a64496 3087:fdbce259929f
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"))

eric ide

mercurial