diff options
| author | Rusty Wagner <rusty.wagner@gmail.com> | 2021-06-02 11:27:24 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty.wagner@gmail.com> | 2021-07-28 19:31:25 -0400 |
| commit | c08ddcab02433cb5078b6cfea11bf972e47b3169 (patch) | |
| tree | 02f05276ac497521a76e1591f3776e4f1cfe31d9 /ui/filter.h | |
| parent | 8c0fa1737552e548909a435ddcc2b661a71b5da9 (diff) | |
Add sidebar and move some dock widgets to it
Diffstat (limited to 'ui/filter.h')
| -rw-r--r-- | ui/filter.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/ui/filter.h b/ui/filter.h index 5a43100f..72e2e930 100644 --- a/ui/filter.h +++ b/ui/filter.h @@ -24,7 +24,7 @@ class BINARYNINJAUIAPI FilterEdit: public QLineEdit FilterTarget* m_target; public: - FilterEdit(QWidget* parent, FilterTarget* target); + FilterEdit(FilterTarget* target); protected: virtual void keyPressEvent(QKeyEvent* event) override; @@ -37,9 +37,12 @@ class BINARYNINJAUIAPI FilteredView: public QWidget FilterTarget* m_target; QWidget* m_widget; FilterEdit* m_filter; + bool m_autoHide; public: - FilteredView(QWidget* parent, QWidget* filtered, FilterTarget* target); + FilteredView(QWidget* parent, QWidget* filtered, FilterTarget* target, + FilterEdit* edit = nullptr); + void setFilterPlaceholderText(const QString& text); void updateFonts(); void clearFilter(); void showFilter(const QString& initialText); |
