diff options
| author | Glenn Smith <glenn@vector35.com> | 2023-11-06 15:28:59 -0500 |
|---|---|---|
| committer | Glenn Smith <glenn@vector35.com> | 2023-11-06 16:10:47 -0500 |
| commit | 6436615567547349434351468012512505109552 (patch) | |
| tree | e798973c25805377731c4a199f40379263bc128c /ui/render.h | |
| parent | 4108964609171327618627477163339656037111 (diff) | |
Type Browser
Diffstat (limited to 'ui/render.h')
| -rw-r--r-- | ui/render.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ui/render.h b/ui/render.h index 02b0a66c..8dc0d158 100644 --- a/ui/render.h +++ b/ui/render.h @@ -69,7 +69,9 @@ class BINARYNINJAUIAPI FontParameters FontParameters(QWidget* parent, float fontScale = 1.0f); void update(); + const QFont& getFont() const { return m_font; } QFont& getFont() { return m_font; } + const QFont& getEmojiFont() const { return m_emojiFont; } QFont& getEmojiFont() { return m_emojiFont; } void setFont(const QFont& font); void setEmojiFont(const QFont& emojiFont); @@ -94,6 +96,7 @@ class BINARYNINJAUIAPI RenderContext void update(); FontParameters& getFontParamters() { return m_fontParams; } + const FontParameters& getFontParameters() const { return m_fontParams; } int getFontWidth() const { return m_fontParams.getWidth(); } int getFontHeight() const { return m_fontParams.getHeight(); } @@ -113,7 +116,7 @@ class BINARYNINJAUIAPI RenderContext void drawUnderlinedText(QPainter& p, int x, int y, QColor color, const QString& text); void drawSeparatorLine(QPainter& p, QColor top, QColor bottom, QColor line, const QRect& rect); - void drawInstructionHighlight(QPainter& p, const QRect& rect); + void drawInstructionHighlight(QPainter& p, const QRect& rect, bool focused = true); void drawLinearDisassemblyLineBackground( QPainter& p, BNLinearDisassemblyLineType type, const QRect& rect, const QRect& dirtyRect, int gutterWidth); |