--- a/QScintilla/MiniEditor.py Tue Feb 06 19:18:43 2018 +0100
+++ b/QScintilla/MiniEditor.py Tue Feb 06 19:21:00 2018 +0100
@@ -136,7 +136,6 @@
self.__textEdit.setSearchIndicator = self.setSearchIndicator
self.__textEdit.setUtf8(True)
-
self.srHistory = {
"search": [],
"replace": []