diff options
| author | Xusheng <xusheng@vector35.com> | 2024-07-12 17:38:24 +0800 |
|---|---|---|
| committer | Peter LaFosse <peter@vector35.com> | 2024-07-12 07:56:25 -0400 |
| commit | 2d6496d888d76dffa65d46da949effcfc531317f (patch) | |
| tree | 667aaf28a4ff5fcf7fa333d1ca5f266f3a09df63 /ui/searchresult.h | |
| parent | ccd3e6047eba134e96dac07690981d7f1eee4f49 (diff) | |
Avoid crash in search result widget. Fix https://github.com/Vector35/binaryninja-api/issues/5728
Diffstat (limited to 'ui/searchresult.h')
| -rw-r--r-- | ui/searchresult.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ui/searchresult.h b/ui/searchresult.h index 17a06333..e6d97f98 100644 --- a/ui/searchresult.h +++ b/ui/searchresult.h @@ -220,6 +220,8 @@ class BINARYNINJAUIAPI SearchResultTable : public QTableView SearchResultModel* model() const { return m_table; } + void StopTimer(); + public Q_SLOTS: void resultActivated(const QModelIndex& idx); void updateFilter(const QString& filterText); |