You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-15 13:51:40 +00:00
-Cleaned up find/replace bar for replace (made selection only default if selection exists), also made buttons look like buttons
-Fixed a bug related to theme propagation, may be able to solve #6443, #6302 and others. Please test.
This commit is contained in:
@@ -1513,6 +1513,7 @@ void ScriptEditor::edit(const Ref<Script>& p_script, bool p_grab_focus) {
|
||||
}
|
||||
ERR_FAIL_COND(!se);
|
||||
tab_container->add_child(se);
|
||||
|
||||
se->set_edited_script(p_script);
|
||||
se->set_tooltip_request_func("_get_debug_tooltip",this);
|
||||
if (se->get_edit_menu()) {
|
||||
|
||||
Reference in New Issue
Block a user