diff options
| author | kat <kat@vector35.com> | 2024-03-23 01:44:40 -0400 |
|---|---|---|
| committer | kat <kat@vector35.com> | 2024-04-12 14:47:25 -0400 |
| commit | f49ff0910df22c53cee2240e0922554bc639fda0 (patch) | |
| tree | 92ebcfb865f4e5c8c34ba24f95a06c6e309c89aa /ui/tabwidget.h | |
| parent | 252f7f4f7de3be863f58e02ec8abc54a2d840e17 (diff) | |
Add DTBWCW::setCornerWidget option to have corner widget stretch instead of tabs
Diffstat (limited to 'ui/tabwidget.h')
| -rw-r--r-- | ui/tabwidget.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ui/tabwidget.h b/ui/tabwidget.h index 67fb1a17..d6ef6ea5 100644 --- a/ui/tabwidget.h +++ b/ui/tabwidget.h @@ -248,9 +248,10 @@ class BINARYNINJAUIAPI DockableTabBarWithCornerWidget : public QWidget public: DockableTabBarWithCornerWidget(DockableTabBar* bar); DockableTabBar* tabBar() const { return m_bar; } - void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner); + void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner, bool expanding = false); Qt::Corner corner() const { return m_corner; } QWidget* cornerWidget() const { return m_cornerWidget; } + }; /*! @@ -298,7 +299,7 @@ class BINARYNINJAUIAPI DockableTabWidget : public QWidget void setCanCreateNewWindow(bool canCreate); void setCanSplit(bool canSplit); - void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner); + void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner, bool expanding = false); Qt::Corner corner() const; QWidget* cornerWidget() const; @@ -389,7 +390,7 @@ class BINARYNINJAUIAPI SplitTabWidget : public QWidget void setTabStyle(DockableTabStyle* style); - void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner); + void setCornerWidget(QWidget* widget, Qt::Corner corner = Qt::TopRightCorner, bool expanding = false); QString savedLayoutString() const; void restoreLayoutString(const QString& layout); |