ViewManager/ViewManager.py

changeset 6735
31e263d49c04
parent 6710
b796805c733f
child 6826
c6dda2cbe081
child 6843
5e1afd1577b9
equal deleted inserted replaced
6734:1eaf6955acf5 6735:31e263d49c04
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