diff options
| author | Josh Ferrell <josh@vector35.com> | 2026-01-26 14:23:12 -0500 |
|---|---|---|
| committer | Josh Ferrell <josh@vector35.com> | 2026-02-06 17:53:45 -0500 |
| commit | 70bbb18a9444824a8ec2b9a7ff57fc848e017b6e (patch) | |
| tree | fe87c0976b75a7557986d1ac6bcc2409a839624c /ui/searchresult.h | |
| parent | 9b7604d13e8bd98c6998facb9326926ed96281b5 (diff) | |
Add regex and case sensitivity options to FilterEdit
Diffstat (limited to 'ui/searchresult.h')
| -rw-r--r-- | ui/searchresult.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ui/searchresult.h b/ui/searchresult.h index 13fa77f9..42b79252 100644 --- a/ui/searchresult.h +++ b/ui/searchresult.h @@ -313,15 +313,14 @@ class BINARYNINJAUIAPI SearchResultHeaderWidget : public QWidget, public FilterT { Q_OBJECT - QLineEdit* m_search; + FilterEdit* m_search; QComboBox* m_mode; - ClickableIcon* m_caseSensitive; ClickableIcon* m_ignoreWhitespace; public: SearchResultHeaderWidget(); - virtual void setFilter(const std::string&) override {} + virtual void setFilter(const std::string&, FilterOptions) override {} virtual void scrollToFirstItem() override {} virtual void scrollToCurrentItem() override {} virtual void ensureSelection() override {} |
