diff options
| author | Alexander Taylor <alex@vector35.com> | 2025-09-27 23:00:18 -0400 |
|---|---|---|
| committer | Alexander Taylor <alex@vector35.com> | 2025-10-17 21:17:53 -0400 |
| commit | b2622b292d99133084e0b38f4516591c25480548 (patch) | |
| tree | 4cfc039ccade573ffcb082d577b1f349c1c2a6d2 /ui/filter.h | |
| parent | 715dd78287934c2dcb6de54b0a9be48b2237f9e6 (diff) | |
Header changes for nav in containerized views.
Diffstat (limited to 'ui/filter.h')
| -rw-r--r-- | ui/filter.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/filter.h b/ui/filter.h index c210f407..c354546f 100644 --- a/ui/filter.h +++ b/ui/filter.h @@ -66,6 +66,7 @@ class BINARYNINJAUIAPI FilteredView : public QWidget void clearFilter(); void showFilter(const QString& initialText); void focusAndSelectFilter(); + bool hasFilterText() const; static bool match(const std::string& name, const std::string& filter); |