You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-07 12:30:27 +00:00
Cleaned up remote menu
-Merged fileserver & deploy dumb clients option -Live Script Reloading can now happen automatically on script save -Changed Live to Mirror term to differentiate from Unity and Unreal, as what Godot does is not the same thing.
This commit is contained in:
@@ -236,6 +236,10 @@ class ScriptEditor : public VBoxContainer {
|
||||
|
||||
bool grab_focus_block;
|
||||
|
||||
bool pending_auto_reload;
|
||||
bool auto_reload_running_scripts;
|
||||
void _live_auto_reload_running_scripts();
|
||||
|
||||
ScriptEditorQuickOpen *quick_open;
|
||||
|
||||
EditorScriptCodeCompletionCache *completion_cache;
|
||||
@@ -322,6 +326,7 @@ public:
|
||||
virtual void edited_scene_changed();
|
||||
|
||||
ScriptEditorDebugger *get_debugger() { return debugger; }
|
||||
void set_live_auto_reload_running_scripts(bool p_enabled);
|
||||
|
||||
ScriptEditor(EditorNode *p_editor);
|
||||
~ScriptEditor();
|
||||
@@ -357,6 +362,7 @@ public:
|
||||
|
||||
virtual void get_breakpoints(List<String> *p_breakpoints);
|
||||
|
||||
|
||||
virtual void edited_scene_changed();
|
||||
|
||||
ScriptEditorPlugin(EditorNode *p_node);
|
||||
|
||||
Reference in New Issue
Block a user