1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-07 12:30:27 +00:00

-ability to change scripts in external editor and still have properties reloaded in godot UI, fixes #3003

This commit is contained in:
Juan Linietsky
2015-12-09 09:08:41 -03:00
parent 708ff381d6
commit 6bc6b8fcf2
7 changed files with 119 additions and 21 deletions

View File

@@ -103,7 +103,7 @@ public:
void reload_text();
String get_name() ;
Ref<Texture> get_icon() ;
bool is_unsaved();
ScriptTextEditor();
};
@@ -271,6 +271,7 @@ class ScriptEditor : public VBoxContainer {
void _go_to_tab(int p_idx);
void _update_history_pos(int p_new_pos);
void _update_script_colors();
void _update_modified_scripts_for_external_editor();
static ScriptEditor *script_editor;
@@ -302,6 +303,8 @@ public:
void set_scene_root_script( Ref<Script> p_script );
virtual void edited_scene_changed();
ScriptEditorDebugger *get_debugger() { return debugger; }
ScriptEditor(EditorNode *p_editor);
@@ -338,6 +341,7 @@ public:
virtual void get_breakpoints(List<String> *p_breakpoints);
virtual void edited_scene_changed();
ScriptEditorPlugin(EditorNode *p_node);
~ScriptEditorPlugin();