1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-13 13:31:48 +00:00

Make docs search hide nodes disabled by the editor feature profile

This commit is contained in:
Michael Alexsander Silva Dias
2019-06-06 22:04:25 -03:00
parent 197b65f32a
commit def0485ca9
2 changed files with 56 additions and 33 deletions

View File

@@ -125,6 +125,8 @@ class EditorHelpSearch::Runner : public Reference {
Map<String, TreeItem *> class_items;
TreeItem *matched_item;
bool _is_class_disabled_by_feature_profile(const StringName &p_class);
bool _slice();
bool _phase_match_classes_init();
bool _phase_match_classes();