1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-24 15:26:15 +00:00

Merge pull request #28972 from erammos/28943_script_editor_plugin

minor change in scriptEdtiorPlugin ref #28943
This commit is contained in:
Rémi Verschelde
2019-05-20 11:22:47 +02:00
committed by GitHub

View File

@@ -3305,9 +3305,7 @@ void ScriptEditorPlugin::edit(Object *p_object) {
} else {
script_editor->edit(p_script);
}
}
if (Object::cast_to<TextFile>(p_object)) {
} else if (Object::cast_to<TextFile>(p_object)) {
script_editor->edit(Object::cast_to<TextFile>(p_object));
}
}