(self, count)
| 362 | self.lines = self.lines[0:self.topLine + (self.visibleRows * 5)] |
| 363 | |
| 364 | def scrollLines(self, count): |
| 365 | newOffset = self.topLine + count |
| 366 | if newOffset < 0: |
| 367 | self.topLine = 0 |
| 368 | elif newOffset >= len(self.lines): |
| 369 | self.topLine = len(self.lines) - 1 |
| 370 | else: |
| 371 | self.topLine = newOffset |
| 372 | self.updateCache() |
| 373 | self.viewport().update() |
| 374 | if self.topLine < len(self.lines): |
| 375 | self.updatingScrollBar = True |
| 376 | addr = self.lines[self.topLine].address |
| 377 | self.verticalScrollBar().setValue(self.getContiguousOffsetForAddress(addr) // self.scrollBarMultiplier) |
| 378 | self.updatingScrollBar = False |
| 379 | |
| 380 | def showContextAroundTop(self): |
| 381 | scroll = self.visibleRows // 4 |
no test coverage detected