feat: allow restart wiki to reload wiki that had error

This commit is contained in:
tiddlygit-test 2021-12-26 03:04:09 +08:00
parent 5c4b1e50d3
commit cffb559fdf
3 changed files with 21 additions and 12 deletions

View file

@ -23,7 +23,10 @@ interface IWorkspaceMenuRequiredServices {
wikiGitWorkspace: Pick<IWikiGitWorkspaceService, 'removeWorkspace'>;
window: Pick<IWindowService, 'open'>;
workspace: Pick<IWorkspaceService, 'getActiveWorkspace'>;
workspaceView: Pick<IWorkspaceViewService, 'wakeUpWorkspaceView' | 'hibernateWorkspaceView' | 'setActiveWorkspaceView' | 'restartWorkspaceViewService'>;
workspaceView: Pick<
IWorkspaceViewService,
'wakeUpWorkspaceView' | 'hibernateWorkspaceView' | 'setActiveWorkspaceView' | 'restartWorkspaceViewService' | 'realignActiveWorkspace'
>;
}
export async function openWorkspaceTagTiddler(workspace: IWorkspace, service: IWorkspaceMenuRequiredServices): Promise<void> {
@ -90,7 +93,10 @@ export async function getWorkspaceMenuTemplate(
},
{
label: t('ContextMenu.RestartService'),
click: async () => await service.workspaceView.restartWorkspaceViewService(id),
click: async () => {
await service.workspaceView.restartWorkspaceViewService(id);
await service.workspaceView.realignActiveWorkspace(id);
},
},
];