gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-16 04:37:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9572 from Noshyaar/rlts

Browse source 
Fix duplicated resource_local_to_scene
This commit is contained in:
Thomas Herzog 2017-07-10 22:56:12 +02:00 committed by GitHub
parent 9340583080 68fdcc4f83
commit aa52f7c8d4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
editor/property_editor.cpp
View file

@ -4462,7 +4462,7 @@ class SectionedPropertyEditorFilter : public Object {
continue;
if (sp == -1) {
pi.name = "Global/" + pi.name;
pi.name = "global/" + pi.name;
}
if (pi.name.begins_with(section + "/")) {