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/globalarea.h | |
| parent | cdc840a8f6588f656713bdb5a890f8b71787b387 (diff) | |
Allow programmatically closing a global area widget
Diffstat (limited to 'ui/globalarea.h')
| -rw-r--r-- | ui/globalarea.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/globalarea.h b/ui/globalarea.h index 1d0cd90b..cfb28fda 100644 --- a/ui/globalarea.h +++ b/ui/globalarea.h @@ -106,6 +106,7 @@ class BINARYNINJAUIAPI GlobalArea : public QWidget bool toggleWidgetVisible(const QString& title); void focusWidget(const QString& title); GlobalAreaWidget* widget(const QString& title); + void closeTab(QWidget* widget); void saveSizes(const QSettings& settings, const QString& windowStateName); void saveState(const QSettings& settings, const QString& windowStateName); |