diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-23 13:09:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-23 13:09:59 +0200 |
| commit | ba7fdcfd02e9812169718b1147af87b631327885 (patch) | |
| tree | 2897764581f47a72b64959ca82eceadf30333706 | |
| parent | 50ab88bf15ad93676262cf31ee05bb815f5a6a8e (diff) | |
| parent | 39061340035e94a2fb43273ca32601c7c8a811b6 (diff) | |
Merge pull request #9762 from Paulb23/_scipt_close_tab_selection_issue_8400
Fixed script tab selection on file close, issue 8400
| -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 f45882926a..fef7f07abb 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -518,6 +518,9 @@ void ScriptEditor::_close_tab(int p_idx, bool p_save) { _add_recent_script(help->get_class()); } + // roll back to previous tab + _history_back(); + //remove from history history.resize(history_pos + 1); |