You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-17 14:11:06 +00:00
Small fixes to #13233
This commit is contained in:
@@ -1475,7 +1475,6 @@ void EditorNode::_edit_current() {
|
||||
object_menu->set_disabled(true);
|
||||
|
||||
bool capitalize = bool(EDITOR_DEF("interface/editor/capitalize_properties", true));
|
||||
bool expandall = bool(EDITOR_DEF("interface/editor/expand_all_properties", true));
|
||||
bool is_resource = current_obj->is_class("Resource");
|
||||
bool is_node = current_obj->is_class("Node");
|
||||
resource_save_button->set_disabled(!is_resource);
|
||||
@@ -1547,10 +1546,6 @@ void EditorNode::_edit_current() {
|
||||
property_editor->set_enable_capitalize_paths(capitalize);
|
||||
}
|
||||
|
||||
if (property_editor->is_expand_all_properties_enabled() != expandall) {
|
||||
property_editor->set_use_folding(expandall == false);
|
||||
}
|
||||
|
||||
/* Take care of PLUGIN EDITOR */
|
||||
|
||||
EditorPlugin *main_plugin = editor_data.get_editor(current_obj);
|
||||
|
||||
Reference in New Issue
Block a user