internal: remove client-side support for latest requests

Companion for #9826
This commit is contained in:
Aleksey Kladov 2021-08-09 19:24:43 +03:00
parent ce8400bbfd
commit bb8607434d

View file

@ -35,8 +35,6 @@ export function analyzerStatus(ctx: Ctx): Cmd {
} }
}(); }();
let poller: NodeJS.Timer | undefined = undefined;
ctx.pushCleanup( ctx.pushCleanup(
vscode.workspace.registerTextDocumentContentProvider( vscode.workspace.registerTextDocumentContentProvider(
'rust-analyzer-status', 'rust-analyzer-status',
@ -44,20 +42,13 @@ export function analyzerStatus(ctx: Ctx): Cmd {
), ),
); );
ctx.pushCleanup({
dispose() {
if (poller !== undefined) {
clearInterval(poller);
}
},
});
return async () => { return async () => {
if (poller === undefined) {
poller = setInterval(() => tdcp.eventEmitter.fire(tdcp.uri), 1000);
}
const document = await vscode.workspace.openTextDocument(tdcp.uri); const document = await vscode.workspace.openTextDocument(tdcp.uri);
return vscode.window.showTextDocument(document, vscode.ViewColumn.Two, true); tdcp.eventEmitter.fire(tdcp.uri);
void await vscode.window.showTextDocument(document, {
viewColumn: vscode.ViewColumn.Two,
preserveFocus: true
});
}; };
} }