Fixed changing workspaces again

This commit is contained in:
Mauro Balades 2024-08-22 20:34:39 +02:00
parent be8eafad5f
commit 76f54a4f21

View file

@ -143,7 +143,7 @@ var ZenWorkspaces = {
async unsafeSaveWorkspaces(workspaces) { async unsafeSaveWorkspaces(workspaces) {
await IOUtils.writeJSON(this._storeFile, workspaces); await IOUtils.writeJSON(this._storeFile, workspaces);
this._workspaceCache = null; this._workspaceCache = workspaces;
}, },
// Workspaces dialog UI management // Workspaces dialog UI management
@ -467,10 +467,10 @@ var ZenWorkspaces = {
await this.changeWorkspace(workspace); await this.changeWorkspace(workspace);
}, },
contextDelete(event) { async contextDelete(event) {
event.stopPropagation();
this.__contextIsDelete = true; this.__contextIsDelete = true;
this.removeWorkspace(this._contextMenuId); event.stopPropagation();
await this.removeWorkspace(this._contextMenuId);
this.__contextIsDelete = false; this.__contextIsDelete = false;
}, },