diff options
| author | Veetaha <[email protected]> | 2020-02-22 18:58:00 +0000 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-02-23 13:49:09 +0000 |
| commit | 4cee7cddc84aa3769d5d3e87e5745f4c981bca28 (patch) | |
| tree | f8b98268925cf01e2cc74a9e12fac81a460c1eff /editors/code/src/highlighting.ts | |
| parent | 838ad6bcfb2a82c030e18d019b8a06752f0fc828 (diff) | |
vscode: gracefully handle cancellation errors
Diffstat (limited to 'editors/code/src/highlighting.ts')
| -rw-r--r-- | editors/code/src/highlighting.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index b34e49c17..77b4a1a68 100644 --- a/editors/code/src/highlighting.ts +++ b/editors/code/src/highlighting.ts | |||
| @@ -3,7 +3,8 @@ import * as lc from 'vscode-languageclient'; | |||
| 3 | 3 | ||
| 4 | import { ColorTheme, TextMateRuleSettings } from './color_theme'; | 4 | import { ColorTheme, TextMateRuleSettings } from './color_theme'; |
| 5 | 5 | ||
| 6 | import { Ctx, sendRequestWithRetry } from './ctx'; | 6 | import { Ctx } from './ctx'; |
| 7 | import { sendRequestWithRetry } from './util'; | ||
| 7 | 8 | ||
| 8 | export function activateHighlighting(ctx: Ctx) { | 9 | export function activateHighlighting(ctx: Ctx) { |
| 9 | const highlighter = new Highlighter(ctx); | 10 | const highlighter = new Highlighter(ctx); |