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 |