QScintilla/Shell.py

changeset 404
44a541bea034
parent 128
13e96bd0f5a5
child 428
58405c24aa09
child 792
a13346916170
equal deleted inserted replaced
401:54b80c7a802b 404:44a541bea034
323 self.setWrapMode(QsciScintilla.WrapWord) 323 self.setWrapMode(QsciScintilla.WrapWord)
324 else: 324 else:
325 self.setWrapMode(QsciScintilla.WrapNone) 325 self.setWrapMode(QsciScintilla.WrapNone)
326 self.useMonospaced = Preferences.getShell("UseMonospacedFont") 326 self.useMonospaced = Preferences.getShell("UseMonospacedFont")
327 self.__setMonospaced(self.useMonospaced) 327 self.__setMonospaced(self.useMonospaced)
328
329 self.setCursorFlashTime(QApplication.cursorFlashTime())
328 330
329 def __setMonospaced(self, on): 331 def __setMonospaced(self, on):
330 """ 332 """
331 Private method to set/reset a monospaced font. 333 Private method to set/reset a monospaced font.
332 334
1393 self.vm.viewActGrp.setEnabled(True) 1395 self.vm.viewActGrp.setEnabled(True)
1394 self.vm.searchActGrp.setEnabled(False) 1396 self.vm.searchActGrp.setEnabled(False)
1395 except AttributeError: 1397 except AttributeError:
1396 pass 1398 pass
1397 self.setCaretWidth(self.caretWidth) 1399 self.setCaretWidth(self.caretWidth)
1400 self.setCursorFlashTime(QApplication.cursorFlashTime())
1401
1398 QsciScintillaCompat.focusInEvent(self, event) 1402 QsciScintillaCompat.focusInEvent(self, event)
1399 1403
1400 def focusOutEvent(self, event): 1404 def focusOutEvent(self, event):
1401 """ 1405 """
1402 Public method called when the shell loses focus. 1406 Public method called when the shell loses focus.

eric ide

mercurial