Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-02-26 03:24:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

revised for pull #1582

Browse Source
This commit is contained in:
Jalileh 2024-12-20 18:59:46 +01:00
parent ce30fcb260
commit a68696b085
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
emain/emain-window.ts
View File

@ -702,13 +702,15 @@ ipcMain.on("delete-workspace", (event, workspaceId) => {
if (workspaceList.length > 1 && ww?.workspaceId == workspaceId){
const workspaceIdindex : any = workspaceList.findIndex(wse => wse.workspaceid === workspaceId);
const workspaceIdindex = workspaceList.findIndex(wse => wse.workspaceid === workspaceId);
const moveIndex = (workspaceIdindex > 1) ? workspaceIdindex - 1 : workspaceIdindex + 1;
const PrevNextWorkspace : any = workspaceList[moveIndex]
const moveIndex = (workspaceIdindex > 0) ? workspaceIdindex - 1 : workspaceIdindex + 1;
const prevNextWorkspace = workspaceList[moveIndex]
await ww.switchWorkspace(PrevNextWorkspace.workspaceid);
relaunchBrowserWindows(); // the blank window bug from 0.10.1 OCCASIONALLY occurs if this is not here, ( issue #1567 )
await ww.switchWorkspace(prevNextWorkspace.workspaceid);
// this does it faster without restarting the window
ww.activeTabView.webContents.reloadIgnoringCache(); // the blank window bug from 0.10.1 OCCASIONALLY occurs if this is not here, ( issue #1567 )
}
await WorkspaceService.DeleteWorkspace(workspaceId);