ViewManager/ViewManager.py

branch
5_1_x
changeset 1154
efa4ce3d50d2
parent 1151
b64cf188c5d7
child 1510
e75ecf2bd9dd
equal deleted inserted replaced
1152:3cfaa0bae68d 1154:efa4ce3d50d2
4033 aw = self.activeWindow() 4033 aw = self.activeWindow()
4034 if not aw: 4034 if not aw:
4035 return 4035 return
4036 4036
4037 text = self.quickFindtextCombo.lineEdit().text() 4037 text = self.quickFindtextCombo.lineEdit().text()
4038 if not text: 4038 if not text and again:
4039 if again:
4040 text = self.quickFindtextCombo.lastSearchText 4039 text = self.quickFindtextCombo.lastSearchText
4041 if not text: 4040 if not text:
4042 if Preferences.getEditor("QuickSearchMarkersEnabled"): 4041 if Preferences.getEditor("QuickSearchMarkersEnabled"):
4043 aw.clearSearchIndicators() 4042 aw.clearSearchIndicators()
4044 return 4043 return

eric ide

mercurial