QScintilla/MiniEditor.py

changeset 404
44a541bea034
parent 342
360c4eb76d6c
child 428
58405c24aa09
equal deleted inserted replaced
401:54b80c7a802b 404:44a541bea034
66 try: 66 try:
67 self.setCaretWidth(self.mw.caretWidth) 67 self.setCaretWidth(self.mw.caretWidth)
68 except AttributeError: 68 except AttributeError:
69 pass 69 pass
70 70
71 self.setCursorFlashTime(QApplication.cursorFlashTime())
72
71 QsciScintillaCompat.focusInEvent(self, event) 73 QsciScintillaCompat.focusInEvent(self, event)
72 74
73 def focusOutEvent(self, event): 75 def focusOutEvent(self, event):
74 """ 76 """
75 Public method called when the editor loses focus. 77 Public method called when the editor loses focus.
1765 QsciScintilla.WrapFlagNone, QsciScintilla.WrapFlagNone) 1767 QsciScintilla.WrapFlagNone, QsciScintilla.WrapFlagNone)
1766 1768
1767 self.searchIndicator = QsciScintilla.INDIC_CONTAINER 1769 self.searchIndicator = QsciScintilla.INDIC_CONTAINER
1768 self.__textEdit.indicatorDefine(self.searchIndicator, QsciScintilla.INDIC_BOX, 1770 self.__textEdit.indicatorDefine(self.searchIndicator, QsciScintilla.INDIC_BOX,
1769 Preferences.getEditorColour("SearchMarkers")) 1771 Preferences.getEditorColour("SearchMarkers"))
1772
1773 self.__textEdit.setCursorFlashTime(QApplication.cursorFlashTime())
1770 1774
1771 def __setEolMode(self): 1775 def __setEolMode(self):
1772 """ 1776 """
1773 Private method to configure the eol mode of the editor. 1777 Private method to configure the eol mode of the editor.
1774 """ 1778 """

eric ide

mercurial