QScintilla/Shell.py

branch
Py2 comp.
changeset 3142
55030c09e142
parent 3080
6c0a430b19df
parent 3087
fdbce259929f
child 3145
a9de05d4a22f
equal deleted inserted replaced
3141:72f3bde98c58 3142:55030c09e142
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"))

eric ide

mercurial