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

Implemented remote scene tree filtering

User can now filter the remote scene tree, like the local one is filtered, while
the game is running
This commit is contained in:
Silvano Cerza
2018-10-25 10:39:02 +02:00
parent 51d7026cbc
commit f23e1aab34
3 changed files with 64 additions and 42 deletions

View File

@@ -173,6 +173,7 @@ class ScriptEditorDebugger : public Control {
void _set_reason_text(const String &p_reason, MessageType p_type);
void _scene_tree_property_select_object(ObjectID p_object);
void _scene_tree_property_value_edited(const String &p_prop, const Variant &p_value);
int _update_scene_tree(TreeItem *parent, const Array &items, int current_index);
void _video_mem_request();