QScintilla/MiniEditor.py

changeset 6119
18fb5d765f3a
parent 6116
f3d3c996c193
child 6190
5ecba04d31f2
equal deleted inserted replaced
6118:da9e08920e7c 6119:18fb5d765f3a
134 self.__textEdit = MiniScintilla(self) 134 self.__textEdit = MiniScintilla(self)
135 self.__textEdit.clearSearchIndicators = self.clearSearchIndicators 135 self.__textEdit.clearSearchIndicators = self.clearSearchIndicators
136 self.__textEdit.setSearchIndicator = self.setSearchIndicator 136 self.__textEdit.setSearchIndicator = self.setSearchIndicator
137 self.__textEdit.setUtf8(True) 137 self.__textEdit.setUtf8(True)
138 138
139
140 self.srHistory = { 139 self.srHistory = {
141 "search": [], 140 "search": [],
142 "replace": [] 141 "replace": []
143 } 142 }
144 from .SearchReplaceWidget import SearchReplaceWidget 143 from .SearchReplaceWidget import SearchReplaceWidget

eric ide

mercurial