diff options
| author | Rusty Wagner <rusty.wagner@gmail.com> | 2025-08-28 19:29:44 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty.wagner@gmail.com> | 2025-08-29 15:42:09 -0400 |
| commit | 0e6389e4c0342a025859322fa1f45e125ca36675 (patch) | |
| tree | 5bfa4baa5d98e1d33dbf649ad288468991293725 /ui | |
| parent | d97658070d579044ac658d5a4acf389b58e82e4c (diff) | |
Add theme color for panes with keyboard focus
Diffstat (limited to 'ui')
| -rw-r--r-- | ui/pane.h | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -37,9 +37,10 @@ class BINARYNINJAUIAPI Pane : public QWidget PaneHeader* m_header = nullptr; CloseButton* m_closeButton = nullptr; bool m_active = false; + bool m_containerFocused = false; QVBoxLayout* m_layout = nullptr; - public: +public: Pane(QWidget* widget); QWidget* widget() const { return m_widget; } @@ -55,22 +56,24 @@ class BINARYNINJAUIAPI Pane : public QWidget virtual void setIsSinglePane(bool isSinglePane); virtual void setIsActivePane(bool active); + virtual void setIsContainerFocused(bool focused); virtual Qt::Orientation defaultSplitDirection() const { return Qt::Horizontal; } virtual void setDefaultSplitDirection(Qt::Orientation orientation); void setWidget(QWidget* widget); - protected: +protected: void init(PaneHeader* header); + void updateHeaderColor(); - Q_SIGNALS: +Q_SIGNALS: void paneCloseRequested(); void paneSplitRequested(Pane* newPane, Qt::Edge edge); void movePane(Pane* target, Qt::Edge edge); void newWindowForPane(QScreen* screen, QPoint pos); void notifyViewChanged(ViewFrame* frame); - public Q_SLOTS: +public Q_SLOTS: void splitButtonClicked(Qt::Orientation orientation); void closeButtonClicked(); void headerClicked(); |
