godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-06 12:20:30 +00:00
Code Releases Wiki Activity

Fix external editor hot reload

Browse Source
This commit is contained in:
Omar Shehata
2023-10-07 22:14:54 -04:00
parent fba341ce44
commit c25a2d832b
4 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.h
View File

@@ -378,7 +378,6 @@ class ScriptEditor : public PanelContainer {
bool pending_auto_reload;
bool auto_reload_running_scripts;
void _trigger_live_script_reload();
void _live_auto_reload_running_scripts();
void _update_selected_editor_menu();
@@ -538,6 +537,8 @@ public:
void clear_docs_from_script(const Ref<Script> &p_script);
void update_docs_from_script(const Ref<Script> &p_script);
void trigger_live_script_reload();
bool can_take_away_focus() const;
VSplitContainer *get_left_list_split() { return list_split; }