fix: restart workspace not reloaded

This commit is contained in:
林一二 2021-12-26 19:27:43 +08:00
parent 2ba5ef536a
commit 3d57dd3a82
2 changed files with 9 additions and 1 deletions

View file

@ -436,7 +436,14 @@ export class MenuService implements IMenuService {
menu.append(
new MenuItem({
label: i18next.t('ContextMenu.RestartService'),
click: async () => await this.workspaceViewService.restartWorkspaceViewService(),
click: async () => {
const workspace = await this.workspaceService.getActiveWorkspace();
if (workspace !== undefined) {
await this.workspaceViewService.restartWorkspaceViewService(workspace.id);
await this.workspaceViewService.realignActiveWorkspace(workspace.id);
await this.viewService.reloadViewsWebContents(workspace.id);
}
},
}),
);
menu.append(

View file

@ -96,6 +96,7 @@ export async function getWorkspaceMenuTemplate(
click: async () => {
await service.workspaceView.restartWorkspaceViewService(id);
await service.workspaceView.realignActiveWorkspace(id);
await service.view.reloadViewsWebContents(id);
},
},
];