##// END OF EJS Templates
Reset scroll position when refreshing.
walter.doerwald -
r474:5b3b837d
parent child
Show More
@@ -424,6 +424,7 class _BrowserLevel(object):
424 self.iterator = ipipe.xiter(self.input)
424 self.iterator = ipipe.xiter(self.input)
425 self.items.clear()
425 self.items.clear()
426 self.exhausted = False
426 self.exhausted = False
427 self.datastartx = self.datastarty = 0
427 self.moveto(0, 0, refresh=True)
428 self.moveto(0, 0, refresh=True)
428
429
429 def refreshfind(self):
430 def refreshfind(self):
@@ -442,9 +443,11 class _BrowserLevel(object):
442 self.fetch(len(self.items)+1)
443 self.fetch(len(self.items)+1)
443 if self.exhausted:
444 if self.exhausted:
444 curses.beep()
445 curses.beep()
446 self.datastartx = self.datastarty = 0
445 self.moveto(self.curx, 0, refresh=True)
447 self.moveto(self.curx, 0, refresh=True)
446 break
448 break
447 if self.items[-1].item == oldobject:
449 if self.items[-1].item == oldobject:
450 self.datastartx = self.datastarty = 0
448 self.moveto(self.curx, len(self.items)-1, refresh=True)
451 self.moveto(self.curx, len(self.items)-1, refresh=True)
449 break
452 break
450
453
General Comments 0
You need to be logged in to leave comments. Login now