eric6/UI/Browser.py

changeset 8260
2161475d9639
parent 8258
82b608e352ec
child 8270
6ba3564b7161
equal deleted inserted replaced
8259:2bbec88047dd 8260:2161475d9639
797 @type str 797 @type str
798 """ 798 """
799 if self.model().rowCount() == 0: 799 if self.model().rowCount() == 0:
800 return 800 return
801 801
802 if self.currentIndex().isValid(): 802 startIndex = (
803 startIndex = self.currentIndex() 803 self.currentIndex()
804 else: 804 if self.currentIndex().isValid() else
805 startIndex = self.model().index(0, 0) 805 self.model().index(0, 0)
806 )
806 807
807 keyboardSearchTimeWasValid = self._keyboardSearchTimer.isValid() 808 keyboardSearchTimeWasValid = self._keyboardSearchTimer.isValid()
808 keyboardSearchTimeElapsed = self._keyboardSearchTimer.restart() 809 keyboardSearchTimeElapsed = self._keyboardSearchTimer.restart()
809 if ( 810 if (
810 not search or 811 not search or

eric ide

mercurial