diff options
| author | Xusheng <xusheng@vector35.com> | 2022-09-12 17:17:47 +0800 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2022-09-13 12:08:31 +0800 |
| commit | da770545cb8d4545bbb4cacb7797ccfaa1361eea (patch) | |
| tree | 0b10cb0923f515214669fa1df9aae4cb5d518ce4 /ui/tabwidget.h | |
| parent | cdc840a8f6588f656713bdb5a890f8b71787b387 (diff) | |
Allow programmatically closing a global area widget
Diffstat (limited to 'ui/tabwidget.h')
| -rw-r--r-- | ui/tabwidget.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/tabwidget.h b/ui/tabwidget.h index bf0c3ca2..0aefdc17 100644 --- a/ui/tabwidget.h +++ b/ui/tabwidget.h @@ -309,6 +309,7 @@ class BINARYNINJAUIAPI SplitTabWidget : public QWidget void enumerateTabs(const std::function<void(QWidget*)>& func); void selectWidget(QWidget* widget); bool isWidgetVisible(QWidget* widget); + void closeTab(QWidget* widget); void setTabStyle(DockableTabStyle* style); |