Kalakoi/GDevelop
1
0
Fork 0
mirror of https://github.com/4ian/GDevelop.git synced 2025-10-15 10:19:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix change of focused tab after a tab is closed (#1480)

Browse Source 
Fix #986
This commit is contained in:
gautamv95
2020-02-29 19:06:47 +05:30
committed by GitHub
parent 6155606d20
commit 11b660e05d
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
newIDE/app/src/MainFrame/EditorTabsHandler.js
View File

@@ -113,12 +113,15 @@ export const closeEditorTab = (
state: EditorTabsState,
chosenEditorTab: EditorTab
): EditorTabsState => {
const chosenEditorTabId = state.editors.indexOf(chosenEditorTab);
return changeCurrentTab(
{
...state,
editors: state.editors.filter(editorTab => editorTab !== chosenEditorTab),
},
state.currentTab
chosenEditorTabId >= state.currentTab
? state.currentTab
: state.currentTab - 1
);
};