QScintilla/Terminal.py

changeset 404
44a541bea034
parent 335
5ad648828e2e
child 428
58405c24aa09
child 792
a13346916170
equal deleted inserted replaced
401:54b80c7a802b 404:44a541bea034
326 self.setCaretWidth(self.caretWidth) 326 self.setCaretWidth(self.caretWidth)
327 self.setWrapMode(QsciScintilla.WrapNone) 327 self.setWrapMode(QsciScintilla.WrapNone)
328 self.useMonospaced = Preferences.getTerminal("UseMonospacedFont") 328 self.useMonospaced = Preferences.getTerminal("UseMonospacedFont")
329 self.__setMonospaced(self.useMonospaced) 329 self.__setMonospaced(self.useMonospaced)
330 330
331 self.setCursorFlashTime(QApplication.cursorFlashTime())
332
331 def __setMonospaced(self, on): 333 def __setMonospaced(self, on):
332 """ 334 """
333 Private method to set/reset a monospaced font. 335 Private method to set/reset a monospaced font.
334 336
335 @param on flag to indicate usage of a monospace font (boolean) 337 @param on flag to indicate usage of a monospace font (boolean)
891 self.vm.viewActGrp.setEnabled(True) 893 self.vm.viewActGrp.setEnabled(True)
892 self.vm.searchActGrp.setEnabled(False) 894 self.vm.searchActGrp.setEnabled(False)
893 except AttributeError: 895 except AttributeError:
894 pass 896 pass
895 self.setCaretWidth(self.caretWidth) 897 self.setCaretWidth(self.caretWidth)
898 self.setCursorFlashTime(QApplication.cursorFlashTime())
899
896 QsciScintillaCompat.focusInEvent(self, event) 900 QsciScintillaCompat.focusInEvent(self, event)
897 901
898 def focusOutEvent(self, event): 902 def focusOutEvent(self, event):
899 """ 903 """
900 Public method called when the shell loses focus. 904 Public method called when the shell loses focus.

eric ide

mercurial