diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-05-04 23:32:40 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-04 23:32:40 -0300 |
| commit | 68700ee3a98298709371c5b970c3083ef534faac (patch) | |
| tree | befec434d1ffa33b6c5f20f0afb869ac69f773ec /tools/editor/plugins/script_editor_plugin.h | |
| parent | a6e6c5b8787d8218762f8a52ed99ef4248248c94 (diff) | |
Proper support for code editor autosaving (disabled by default)
Diffstat (limited to 'tools/editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.h b/tools/editor/plugins/script_editor_plugin.h index 7526138112..acfdd1e966 100644 --- a/tools/editor/plugins/script_editor_plugin.h +++ b/tools/editor/plugins/script_editor_plugin.h @@ -154,6 +154,7 @@ class ScriptEditor : public VBoxContainer { MenuButton *window_menu; MenuButton *debug_menu; MenuButton *help_menu; + Timer *autosave_timer; uint64_t idle; TabContainer *tab_container; @@ -195,6 +196,9 @@ class ScriptEditor : public VBoxContainer { void _show_debugger(bool p_show); void _update_window_menu(); + void _editor_settings_changed(); + void _autosave_scripts(); + static ScriptEditor *script_editor; protected: void _notification(int p_what); |