ViewManager/ViewManager.py

changeset 1153
8fe2e1abd4ea
parent 1149
ace5e56c36a1
child 1169
36a3bb21e6e6
--- a/ViewManager/ViewManager.py	Thu Jun 30 08:09:11 2011 +0200
+++ b/ViewManager/ViewManager.py	Thu Jun 30 08:23:56 2011 +0200
@@ -4039,8 +4039,7 @@
             return
         
         text = self.quickFindtextCombo.lineEdit().text()
-        if not text:
-            if again:
+        if not text and again:
                 text = self.quickFindtextCombo.lastSearchText
         if not text:
             if Preferences.getEditor("QuickSearchMarkersEnabled"):

eric ide

mercurial