diff options
| author | Glenn Smith <glenn@vector35.com> | 2025-06-06 14:21:56 -0400 |
|---|---|---|
| committer | Glenn Smith <glenn@vector35.com> | 2025-06-06 15:27:37 -0400 |
| commit | 709149ef91f06f6cc31bb632a88876ff6835cc44 (patch) | |
| tree | 1f7e1b158295cf8ee0faffb0a095f8ae01577bc9 /ui | |
| parent | f5ca152c06e528440da22797bb1762d8c208a98f (diff) | |
Option to ignore whitespace in searches
Diffstat (limited to 'ui')
| -rw-r--r-- | ui/searchresult.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/searchresult.h b/ui/searchresult.h index 779b815b..9fe28996 100644 --- a/ui/searchresult.h +++ b/ui/searchresult.h @@ -316,6 +316,7 @@ class BINARYNINJAUIAPI SearchResultHeaderWidget : public QWidget, public FilterT QLineEdit* m_search; QComboBox* m_mode; ClickableIcon* m_caseSensitive; + ClickableIcon* m_ignoreWhitespace; public: SearchResultHeaderWidget(); |