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