(self)
| 205 | self.adjustSize(areaSize.width(), areaSize.height()) |
| 206 | |
| 207 | def getFont(self): |
| 208 | userFont = binaryninjaui.getMonospaceFont(self) |
| 209 | if sys.platform == "darwin": |
| 210 | # Some fonts aren't fixed width across all characters, use a known good one |
| 211 | font = QFont("Menlo", userFont.pointSize()) |
| 212 | font.setKerning(False) |
| 213 | else: |
| 214 | font = userFont |
| 215 | return font |
| 216 | |
| 217 | def createRenderContext(self): |
| 218 | render = RenderContext(self) |