ViewManager/ViewManager.py

changeset 6735
31e263d49c04
parent 6710
b796805c733f
child 6826
c6dda2cbe081
child 6843
5e1afd1577b9
diff -r 1eaf6955acf5 -r 31e263d49c04 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Wed Feb 13 18:51:15 2019 +0100
+++ b/ViewManager/ViewManager.py	Wed Feb 13 18:59:31 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