ViewManager/ViewManager.py

branch
maintenance
changeset 6826
c6dda2cbe081
parent 6749
f5ce328edcf5
parent 6735
31e263d49c04
child 6923
d062df8f1d9f
equal deleted inserted replaced
6764:d14ddbfbbd36 6826:c6dda2cbe081
5756 5756
5757 aw.hideFindIndicator() 5757 aw.hideFindIndicator()
5758 5758
5759 text = self.quickFindtextCombo.lineEdit().text() 5759 text = self.quickFindtextCombo.lineEdit().text()
5760 if not text and again: 5760 if not text and again:
5761 text = self.quickFindtextCombo.lastSearchText 5761 text = self.quickFindtextCombo.lastSearchText
5762 if not text: 5762 if not text:
5763 if Preferences.getEditor("QuickSearchMarkersEnabled"): 5763 if Preferences.getEditor("QuickSearchMarkersEnabled"):
5764 aw.clearSearchIndicators() 5764 aw.clearSearchIndicators()
5765 return 5765 return
5766 else: 5766 else:

eric ide

mercurial