summaryrefslogtreecommitdiffstats
path: root/editor/project_manager.h
diff options
context:
space:
mode:
authorHugo Locurcio <hugo.locurcio@hugo.pro>2019-08-13 19:16:17 +0200
committerHugo Locurcio <hugo.locurcio@hugo.pro>2019-08-17 13:48:25 +0200
commitcef7ca4abb59d3d316ba026c6248544c931394e8 (patch)
tree0593cbefea8e7423984181d91de5ceee56f0f74e /editor/project_manager.h
parentde4aabe89b7b68677f145f21c956183bbc92f686 (diff)
downloadredot-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.h1
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();