diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-30 22:24:39 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-30 22:24:39 +0000 |
commit | e6a1ccc1f49488af31ff7429ff977768d3d32485 (patch) | |
tree | 0e6c920b9bb1955de444dc360072b2256060d89b /editors/code/src/inlay_hints.ts | |
parent | c3d74744cdae29aa6a6bfa0cd7ab64b8b251e287 (diff) | |
parent | 233f1dd2a850a7c8c6947c88c1ce06f7a945befd (diff) |
Merge #2695
2695: Privatize highlighting r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/inlay_hints.ts')
-rw-r--r-- | editors/code/src/inlay_hints.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/inlay_hints.ts b/editors/code/src/inlay_hints.ts index d41297407..a7be97db8 100644 --- a/editors/code/src/inlay_hints.ts +++ b/editors/code/src/inlay_hints.ts | |||
@@ -102,7 +102,7 @@ class HintsUpdater { | |||
102 | }; | 102 | }; |
103 | let tokenSource = new vscode.CancellationTokenSource(); | 103 | let tokenSource = new vscode.CancellationTokenSource(); |
104 | let prev = this.pending.get(documentUri); | 104 | let prev = this.pending.get(documentUri); |
105 | if (prev) prev.cancel() | 105 | if (prev) prev.cancel(); |
106 | this.pending.set(documentUri, tokenSource); | 106 | this.pending.set(documentUri, tokenSource); |
107 | try { | 107 | try { |
108 | return await this.ctx.sendRequestWithRetry<InlayHint[] | null>( | 108 | return await this.ctx.sendRequestWithRetry<InlayHint[] | null>( |
@@ -112,7 +112,7 @@ class HintsUpdater { | |||
112 | ); | 112 | ); |
113 | } finally { | 113 | } finally { |
114 | if (!tokenSource.token.isCancellationRequested) { | 114 | if (!tokenSource.token.isCancellationRequested) { |
115 | this.pending.delete(documentUri) | 115 | this.pending.delete(documentUri); |
116 | } | 116 | } |
117 | } | 117 | } |
118 | } | 118 | } |