ViewManager/ViewManager.py

changeset 1153
8fe2e1abd4ea
parent 1149
ace5e56c36a1
child 1169
36a3bb21e6e6
equal deleted inserted replaced
1150:859253d366c5 1153:8fe2e1abd4ea
4037 aw = self.activeWindow() 4037 aw = self.activeWindow()
4038 if not aw: 4038 if not aw:
4039 return 4039 return
4040 4040
4041 text = self.quickFindtextCombo.lineEdit().text() 4041 text = self.quickFindtextCombo.lineEdit().text()
4042 if not text: 4042 if not text and again:
4043 if again:
4044 text = self.quickFindtextCombo.lastSearchText 4043 text = self.quickFindtextCombo.lastSearchText
4045 if not text: 4044 if not text:
4046 if Preferences.getEditor("QuickSearchMarkersEnabled"): 4045 if Preferences.getEditor("QuickSearchMarkersEnabled"):
4047 aw.clearSearchIndicators() 4046 aw.clearSearchIndicators()
4048 return 4047 return

eric ide

mercurial