mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-03-19 23:53:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9762 from Paulb23/_scipt_close_tab_selection_issue_8400

Browse Source 
Fixed script tab selection on file close, issue 8400
This commit is contained in:
Rémi Verschelde 2017-07-23 13:09:59 +02:00 committed by GitHub
commit ba7fdcfd02
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.cpp
View File

@ -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);