diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-13 19:16:17 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-08-17 13:48:25 +0200 |
commit | cef7ca4abb59d3d316ba026c6248544c931394e8 (patch) | |
tree | 0593cbefea8e7423984181d91de5ceee56f0f74e /editor/project_manager.h | |
parent | de4aabe89b7b68677f145f21c956183bbc92f686 (diff) | |
download | redot-engine-cef7ca4abb59d3d316ba026c6248544c931394e8.tar.gz |
Improve the project manager UI
This incorporates many suggestions from #31342.
This also revises the search behavior to be simpler and more efficient:
- Searching will now search in both the project name and path. A project
will be displayed if either of these match the search term.
- If the search term contains a "/", the whole path will be used to match
the search term. Otherwise, only the last path component will be used.
Diffstat (limited to 'editor/project_manager.h')
-rw-r--r-- | editor/project_manager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/project_manager.h b/editor/project_manager.h index 4ccb99d6bd..2a5fd02892 100644 --- a/editor/project_manager.h +++ b/editor/project_manager.h @@ -152,6 +152,7 @@ protected: public: void _setup_filters(Vector<String> options); + void add_filter_option(); void add_search_box(); void set_filter_size(int h_size); String get_search_term(); |