ViewManager/ViewManager.py

branch
maintenance
changeset 6826
c6dda2cbe081
parent 6749
f5ce328edcf5
parent 6735
31e263d49c04
child 6923
d062df8f1d9f
--- a/ViewManager/ViewManager.py	Sat Feb 16 10:27:50 2019 +0100
+++ b/ViewManager/ViewManager.py	Sat Mar 02 11:15:24 2019 +0100
@@ -5758,7 +5758,7 @@
         
         text = self.quickFindtextCombo.lineEdit().text()
         if not text and again:
-                text = self.quickFindtextCombo.lastSearchText
+            text = self.quickFindtextCombo.lastSearchText
         if not text:
             if Preferences.getEditor("QuickSearchMarkersEnabled"):
                 aw.clearSearchIndicators()

eric ide

mercurial