(self, addr)
| 179 | self.topAddr = self.data.end |
| 180 | |
| 181 | def navigate(self, addr): |
| 182 | if addr < self.getStart(): |
| 183 | return False |
| 184 | if addr > self.getEnd(): |
| 185 | return False |
| 186 | self.cursorAddr = self.getStart() |
| 187 | for i in self.ranges: |
| 188 | if i.start > addr: |
| 189 | break |
| 190 | if addr > i.end: |
| 191 | self.cursorAddr = i.end |
| 192 | elif addr >= i.start: |
| 193 | self.cursorAddr = addr |
| 194 | else: |
| 195 | self.cursorAddr = i.start |
| 196 | self.setTopToAddress(self.cursorAddr) |
| 197 | self.refreshLines() |
| 198 | self.showContextAroundTop() |
| 199 | self.selectNone() |
| 200 | self.repositionCaret() |
| 201 | return True |
| 202 | |
| 203 | def updateFonts(self): |
| 204 | areaSize = self.viewport().size() |
no test coverage detected