This commit is contained in:
Aleksey Kladov 2019-12-30 12:25:55 +01:00
parent dc559dbe1c
commit 2008f9e0b9

View file

@ -1,14 +1,48 @@
import * as vscode from 'vscode';
import { Server } from '../server';
// Shows status of rust-analyzer (for debugging)
const statusUri = vscode.Uri.parse('rust-analyzer-status://status');
export function makeCommand(context: vscode.ExtensionContext) {
let poller: NodeJS.Timer | null = null;
const tdcp = new TextDocumentContentProvider();
export class TextDocumentContentProvider
context.subscriptions.push(
vscode.workspace.registerTextDocumentContentProvider(
'rust-analyzer-status',
tdcp,
),
);
context.subscriptions.push({
dispose() {
if (poller != null) {
clearInterval(poller);
}
},
});
return async function handle() {
if (poller == null) {
poller = setInterval(
() => tdcp.eventEmitter.fire(tdcp.uri),
1000,
);
}
const document = await vscode.workspace.openTextDocument(tdcp.uri);
return vscode.window.showTextDocument(
document,
vscode.ViewColumn.Two,
true,
);
};
}
class TextDocumentContentProvider
implements vscode.TextDocumentContentProvider {
public eventEmitter = new vscode.EventEmitter<vscode.Uri>();
public syntaxTree: string = 'Not available';
uri = vscode.Uri.parse('rust-analyzer-status://status');
eventEmitter = new vscode.EventEmitter<vscode.Uri>();
public provideTextDocumentContent(
provideTextDocumentContent(
_uri: vscode.Uri,
): vscode.ProviderResult<string> {
const editor = vscode.window.activeTextEditor;
@ -25,40 +59,3 @@ export class TextDocumentContentProvider
return this.eventEmitter.event;
}
}
let poller: NodeJS.Timer | null = null;
// Shows status of rust-analyzer (for debugging)
export function makeCommand(context: vscode.ExtensionContext) {
const textDocumentContentProvider = new TextDocumentContentProvider();
context.subscriptions.push(
vscode.workspace.registerTextDocumentContentProvider(
'rust-analyzer-status',
textDocumentContentProvider,
),
);
context.subscriptions.push({
dispose() {
if (poller != null) {
clearInterval(poller);
}
},
});
return async function handle() {
if (poller == null) {
poller = setInterval(
() => textDocumentContentProvider.eventEmitter.fire(statusUri),
1000,
);
}
const document = await vscode.workspace.openTextDocument(statusUri);
return vscode.window.showTextDocument(
document,
vscode.ViewColumn.Two,
true,
);
};
}