equal
deleted
inserted
replaced
717 |
717 |
718 def updatescroll(self): |
718 def updatescroll(self): |
719 "scroll the screen to fully show the currently-selected" |
719 "scroll the screen to fully show the currently-selected" |
720 selstart = self.selecteditemstartline |
720 selstart = self.selecteditemstartline |
721 selend = self.selecteditemendline |
721 selend = self.selecteditemendline |
722 #selnumlines = selend - selstart |
722 |
723 padstart = self.firstlineofpadtoprint |
723 padstart = self.firstlineofpadtoprint |
724 padend = padstart + self.yscreensize - self.numstatuslines - 1 |
724 padend = padstart + self.yscreensize - self.numstatuslines - 1 |
725 # 'buffered' pad start/end values which scroll with a certain |
725 # 'buffered' pad start/end values which scroll with a certain |
726 # top/bottom context margin |
726 # top/bottom context margin |
727 padstartbuffered = padstart + 3 |
727 padstartbuffered = padstart + 3 |