You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-22 15:06:45 +00:00
-better integration of ndee's theme
This commit is contained in:
@@ -3514,6 +3514,7 @@ PropertyEditor::PropertyEditor() {
|
||||
tree->connect("button_pressed", this,"_edit_button");
|
||||
custom_editor->connect("variant_changed", this,"_custom_editor_edited");
|
||||
custom_editor->connect("resource_edit_request", this,"_resource_edit_request",make_binds(),CONNECT_DEFERRED);
|
||||
tree->set_hide_folding(true);
|
||||
|
||||
capitalize_paths=true;
|
||||
autoclear=false;
|
||||
|
||||
Reference in New Issue
Block a user