From 6bc6b8fcf24bdfcae4a990054c9077e1bc5a87e5 Mon Sep 17 00:00:00 2001
From: Juan Linietsky
Date: Wed, 9 Dec 2015 09:08:41 -0300
Subject: -ability to change scripts in external editor and still have
 properties reloaded in godot UI, fixes #3003

---
 tools/editor/plugins/script_editor_plugin.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'tools/editor/plugins/script_editor_plugin.h')

diff --git a/tools/editor/plugins/script_editor_plugin.h b/tools/editor/plugins/script_editor_plugin.h
index e755f570e..7875b4d14 100644
--- a/tools/editor/plugins/script_editor_plugin.h
+++ b/tools/editor/plugins/script_editor_plugin.h
@@ -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();
-- 
cgit v1.2.3-70-g09d2