(self)
| 420 | UIContext.updateStatus() |
| 421 | |
| 422 | def updateCaret(self): |
| 423 | # Rerender both the old caret position and the new caret position |
| 424 | render = self.createRenderContext() |
| 425 | for i in range(self.topLine, min(len(self.lines), self.topLine + self.visibleRows)): |
| 426 | if (((self.prevCursorAddr >= self.lines[i].address) and (self.prevCursorAddr <= (self.lines[i].address + self.lines[i].length))) or |
| 427 | ((self.cursorAddr >= self.lines[i].address) and (self.cursorAddr <= (self.lines[i].address + self.lines[i].length)))): |
| 428 | self.viewport().update(0, (i - self.topLine) * render.getFontHeight(), |
| 429 | self.viewport().size().width(), render.getFontHeight() + 3) |
| 430 | |
| 431 | def resizeEvent(self, event): |
| 432 | self.adjustSize(event.size().width(), event.size().height()) |
no test coverage detected