diff options
| author | Rémi Verschelde | 2018-02-20 09:40:29 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-20 09:40:29 +0100 |
| commit | 55f00d9655ca3f9ccfdcac2fba8081df9869ba16 (patch) | |
| tree | 3d10cd32dd58e5496819bc7087611b159c9c7a6e /editor/plugins/script_editor_plugin.h | |
| parent | c62a6942dcdf3b1cbdafa3d858cf9694effeee98 (diff) | |
| parent | df84290a7ee2e4e939fc4eccc030129227c83895 (diff) | |
| download | godot-55f00d9655ca3f9ccfdcac2fba8081df9869ba16.tar.gz godot-55f00d9655ca3f9ccfdcac2fba8081df9869ba16.tar.zst godot-55f00d9655ca3f9ccfdcac2fba8081df9869ba16.zip | |
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index a5531c96b..bcc604d99 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -252,7 +252,7 @@ class ScriptEditor : public PanelContainer { void _show_error_dialog(String p_path); - void _close_tab(int p_idx, bool p_save = true); + void _close_tab(int p_idx, bool p_save = true, bool p_history_back = true); void _close_current_tab(); void _close_discard_current_tab(const String &p_str); |