You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-22 15:06:45 +00:00
Misc script editor code cleanup
This commit is contained in:
@@ -437,7 +437,6 @@ class ScriptEditor : public PanelContainer {
|
||||
|
||||
bool pending_auto_reload;
|
||||
bool auto_reload_running_scripts;
|
||||
bool reload_all_scripts = false;
|
||||
Vector<String> script_paths_to_reload;
|
||||
void _live_auto_reload_running_scripts();
|
||||
|
||||
@@ -613,7 +612,6 @@ public:
|
||||
void update_docs_from_script(const Ref<Script> &p_script);
|
||||
|
||||
void trigger_live_script_reload(const String &p_script_path);
|
||||
void trigger_live_script_reload_all();
|
||||
|
||||
VSplitContainer *get_left_list_split() { return list_split; }
|
||||
|
||||
|
||||
Reference in New Issue
Block a user