diff options
| author | Brian Potchik <brian@vector35.com> | 2023-09-26 09:31:06 -0400 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2023-09-26 09:31:06 -0400 |
| commit | 1cc203952e335afbe5f92fb26436a476d23a05ce (patch) | |
| tree | 564228629a0cda536a30cc0fbc2a52fa950e3e59 | |
| parent | 7755d5087ec5202d13a649cafd7d506266e14b76 (diff) | |
Settings UI layout optimizations.
| -rw-r--r-- | ui/settingsview.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ui/settingsview.h b/ui/settingsview.h index 9aa36cf5..3570cdcd 100644 --- a/ui/settingsview.h +++ b/ui/settingsview.h @@ -238,8 +238,12 @@ class BINARYNINJAUIAPI SettingsDelegate : public QStyledItemDelegate QFont m_groupFont; QFont m_subgroupFont; QFont m_monoFont; + int m_groupHeight; + int m_subgroupHeight; int m_monoFontHeight; QTimer* m_updateModelTimer; + QTimer* m_resizeTimer; + QSize m_lastViewportSize; QTreeView* m_treeView; std::function<void(const QModelIndex& index)> m_hoverAction = nullptr; @@ -298,6 +302,8 @@ class BINARYNINJAUIAPI SettingsTreeView : public QTreeView explicit SettingsTreeView(QWidget* parent); ~SettingsTreeView(); + void updateTheme(); + protected: virtual void resizeEvent(QResizeEvent* event) override; |
