diff options
| author | Brian Potchik <brian@vector35.com> | 2019-04-30 01:04:55 -0400 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2019-04-30 01:04:55 -0400 |
| commit | b1460bf69207f4a4719e8a809a4744817dac01cf (patch) | |
| tree | c610f7cf0671b980c8c59da877d013624fc9e312 | |
| parent | 7887727f48ab8078a1ac855bb4b0766af7e2d619 (diff) | |
Temporary dockwidget interface fix for UI API based dock widgets.
| -rw-r--r-- | ui/dockhandler.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ui/dockhandler.h b/ui/dockhandler.h index 737eba5a..c4ec1a56 100644 --- a/ui/dockhandler.h +++ b/ui/dockhandler.h @@ -81,6 +81,11 @@ class BINARYNINJAUIAPI DockHandler: public QObject bool m_shouldResizeDocks = false; std::map<Qt::DockWidgetArea, bool> m_enableHiddenGroupSave; + // TODO + friend class DockContextHandler; + std::map<QString, DockContextHandler*> m_dockContexts; + DockContextHandler* getDockContextHandler(const QString&, QWidget* widget); + public: explicit DockHandler(QObject* parent, int windowIndex); |
