diff options
author | Kirill Bulatov <[email protected]> | 2019-07-29 08:19:35 +0100 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2019-07-29 08:19:35 +0100 |
commit | b133a3b55c47c666d364bc179595a837168b5ade (patch) | |
tree | c165ea61628e4bc939e32704b62c9f7760d9d53e /editors/code | |
parent | de278d164906d6d29974790c5a4db28303692484 (diff) |
Ignore cancelled inlay hints responses
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/commands/inlay_hints.ts | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/editors/code/src/commands/inlay_hints.ts b/editors/code/src/commands/inlay_hints.ts index 8154af8dc..34f7ccddb 100644 --- a/editors/code/src/commands/inlay_hints.ts +++ b/editors/code/src/commands/inlay_hints.ts | |||
@@ -79,12 +79,14 @@ export class HintsUpdater { | |||
79 | documentUri: string, | 79 | documentUri: string, |
80 | editor: TextEditor | 80 | editor: TextEditor |
81 | ): Promise<void> { | 81 | ): Promise<void> { |
82 | const newHints = (await this.queryHints(documentUri)) || []; | 82 | const newHints = await this.queryHints(documentUri); |
83 | const newDecorations = newHints.map(hint => ({ | 83 | if (newHints != null) { |
84 | range: hint.range, | 84 | const newDecorations = newHints.map(hint => ({ |
85 | renderOptions: { after: { contentText: `: ${hint.label}` } } | 85 | range: hint.range, |
86 | })); | 86 | renderOptions: { after: { contentText: `: ${hint.label}` } } |
87 | return editor.setDecorations(typeHintDecorationType, newDecorations); | 87 | })); |
88 | return editor.setDecorations(typeHintDecorationType, newDecorations); | ||
89 | } | ||
88 | } | 90 | } |
89 | 91 | ||
90 | private async queryHints(documentUri: string): Promise<InlayHint[] | null> { | 92 | private async queryHints(documentUri: string): Promise<InlayHint[] | null> { |