diff options
author | Ricardo Pérez <ricpelo@gmail.com> | 2015-05-05 22:27:05 +0200 |
---|---|---|
committer | Ricardo Pérez <ricpelo@gmail.com> | 2015-05-05 22:27:05 +0200 |
commit | 7bb53831d8aec2507f6341bd00deae29fde8e2c2 (patch) | |
tree | bf6ce42c3dfee2707f7b8adff072297603b59a23 /tools/editor/plugins/script_editor_plugin.h | |
parent | af068439829a3fec3a76c4c5d4dd2dba71ab6c5f (diff) | |
parent | bc3c14a76b988a50e65328a932316c2e630a7ae6 (diff) |
Merge pull request #6 from okamstudio/master
Sync
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); |