diff options
| author | Peter LaFosse <peter@vector35.com> | 2022-05-25 18:09:49 -0400 |
|---|---|---|
| committer | Peter LaFosse <peter@vector35.com> | 2022-05-25 18:09:56 -0400 |
| commit | cd85acfec04e9204ba9caeb4f3feed27359e950d (patch) | |
| tree | 456d7a0a6e7ad6e278fa1b181d5ebc64b16e6a42 | |
| parent | 7a564e6cce1b82b79140cb145a20f46fd58ca99f (diff) | |
Prevent error/warning indicators from opening a new tab
| -rw-r--r-- | ui/logview.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ui/logview.h b/ui/logview.h index 01840462..66383129 100644 --- a/ui/logview.h +++ b/ui/logview.h @@ -214,6 +214,7 @@ class BINARYNINJAUIAPI LogView : public GlobalAreaWidget LogListModel* model() { return m_listModel; } void updateFilter(const QString& filterText); LoggingScope getScope() const { return m_model->getScope(); } + void setScope(LoggingScope scope) { m_model->setScope(scope); } // std::pair<size_t, size_t> GetSelectionIndexAndOffsetFromPosition(const QPoint& position) const; // virtual void mousePressEvent(QMouseEvent* event) override; @@ -265,7 +266,7 @@ class BINARYNINJAUIAPI LogStatus : public QWidget void incrementErrorCount(uint64_t session, int count); void incrementWarningCount(uint64_t session, int count); void checkForErrors(); - void focusTab(UIContext* context, QWidget* tab); + void focusTab(UIContext* context, QWidget* tab, size_t m_sessionId); void clearIndicators(); void updateTheme(); public Q_SLOTS: |
