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/variablelist.h | |
| parent | 9b7604d13e8bd98c6998facb9326926ed96281b5 (diff) | |
Add regex and case sensitivity options to FilterEdit
Diffstat (limited to 'ui/variablelist.h')
| -rw-r--r-- | ui/variablelist.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui/variablelist.h b/ui/variablelist.h index 43e6b65c..923919ff 100644 --- a/ui/variablelist.h +++ b/ui/variablelist.h @@ -254,7 +254,7 @@ class BINARYNINJAUIAPI VariableList : public SidebarWidget, public FilterTarget //! Copy selected variables to clipboard void copy(); - virtual void setFilter(const std::string& filter) override; + virtual void setFilter(const std::string& filter, FilterOptions options) override; virtual void scrollToFirstItem() override; virtual void scrollToCurrentItem() override; virtual void ensureSelection() override; |