diff options
| author | Paulb23 | 2017-07-22 10:08:56 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2017-07-30 21:23:19 +0200 |
| commit | 4aca27e2fa4a32d2bd618d1ce2ac14cec299c903 (patch) | |
| tree | 1e47c9b567b348bed9d5917fa895a9f20977718a /editor/plugins | |
| parent | 75b154f7e012cb495a7e573ff16d85192222a3a5 (diff) | |
| download | godot-4aca27e2fa4a32d2bd618d1ce2ac14cec299c903.tar.gz godot-4aca27e2fa4a32d2bd618d1ce2ac14cec299c903.tar.zst godot-4aca27e2fa4a32d2bd618d1ce2ac14cec299c903.zip | |
Fixed script tab selection on file close, issue 8400
(cherry picked from commit 39061340035e94a2fb43273ca32601c7c8a811b6)
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 9106bf56e..2ce605b62 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -731,6 +731,9 @@ void ScriptEditor::_close_tab(int p_idx) { apply_scripts(); } + // roll back to previous tab + _history_back(); + //remove from history history.resize(history_pos + 1); |