language-servers/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-09-16 23:36:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Query less hints on file open

Browse source
This commit is contained in:
Kirill Bulatov 2019-08-05 00:23:58 +03:00
parent 4912cc35af
commit 2c02aebeb5
1 changed files with 34 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

52
editors/code/src/commands/inlay_hints.ts
View file

@ -21,32 +21,36 @@ const typeHintDecorationType = vscode.window.createTextEditorDecorationType({
export class HintsUpdater {
private displayHints = true;
private drawnDecorations = new Map<string, vscode.DecorationOptions[]>();
public async loadHints(
editor: vscode.TextEditor | undefined
): Promise<void> {
if (
this.displayHints &&
editor !== undefined &&
this.isRustDocument(editor.document)
) {
await this.updateDecorationsFromServer(
editor.document.uri.toString(),
editor
);
public async loadHints(editor?: vscode.TextEditor): Promise<void> {
if (this.displayHints) {
const documentUri = this.getEditorDocumentUri(editor);
if (documentUri !== null) {
const latestDecorations = this.drawnDecorations.get(documentUri);
if (latestDecorations === undefined) {
await this.updateDecorationsFromServer(
documentUri,
editor!
);
} else {
await editor!.setDecorations(typeHintDecorationType, latestDecorations);
}
}
}
}
public async toggleHintsDisplay(displayHints: boolean): Promise<void> {
if (this.displayHints !== displayHints) {
this.displayHints = displayHints;
this.drawnDecorations.clear();
if (displayHints) {
return this.updateHints();
} else {
const editor = vscode.window.activeTextEditor;
if (editor != null) {
return editor.setDecorations(typeHintDecorationType, []);
if (this.getEditorDocumentUri(editor) !== null) {
return editor!.setDecorations(typeHintDecorationType, []);
}
}
}
@ -85,10 +89,15 @@ export class HintsUpdater {
range: hint.range,
renderOptions: { after: { contentText: `: ${hint.label}` } }
}));
return editor.setDecorations(
typeHintDecorationType,
newDecorations
);
this.drawnDecorations.set(documentUri, newDecorations);
if (this.getEditorDocumentUri(vscode.window.activeTextEditor) === documentUri) {
return editor.setDecorations(
typeHintDecorationType,
newDecorations
);
}
}
}
@ -106,4 +115,11 @@ export class HintsUpdater {
)
);
}
private getEditorDocumentUri(editor?: vscode.TextEditor): string | null {
if (editor && this.isRustDocument(editor.document)) {
return editor.document.uri.toString();
}
return null;
}
}