Try to capture some user edge cases

This commit is contained in:
Veronica K. B. Olsen
2020-07-26 22:24:12 +02:00
parent 2dc225ae1f
commit cacb0f2db8
+5 -4
View File
@@ -1237,12 +1237,14 @@ class GuiDocEditor(QTextEdit):
replWith = self.docSearch.getReplaceText() replWith = self.docSearch.getReplaceText()
selText = theCursor.selectedText() selText = theCursor.selectedText()
if searchFor.strip() == "":
return
if self.docSearch.doMatchCap: if self.docSearch.doMatchCap:
replWith = transferCase(selText, replWith) replWith = transferCase(selText, replWith)
if self.docSearch.isRegEx: # Double check that we have a mach in case this is called on a
isMatch = True # plain word selection and not on a search
else:
if not self.docSearch.isCaseSense: if not self.docSearch.isCaseSense:
isMatch = searchFor.lower() == selText.lower() isMatch = searchFor.lower() == selText.lower()
else: else:
@@ -1259,7 +1261,6 @@ class GuiDocEditor(QTextEdit):
searchFor, replWith, theCursor.blockNumber() searchFor, replWith, theCursor.blockNumber()
)) ))
if searchFor:
self._findNext() self._findNext()
return return