diff options
| author | Laurențiu Nicola <[email protected]> | 2019-12-08 18:27:50 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2019-12-08 18:39:22 +0000 |
| commit | c7dc067104c602e18264be0fab2eb197366ac827 (patch) | |
| tree | 9df694bec2690ac30d4049b2af4eb42b0e966c8f /editors/code/src/highlighting.ts | |
| parent | 6b1c2ee168151db07e42403c37106491ff45c5e6 (diff) | |
Code: bump deps
Diffstat (limited to 'editors/code/src/highlighting.ts')
| -rw-r--r-- | editors/code/src/highlighting.ts | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index d21d8a06a..48f2a2547 100644 --- a/editors/code/src/highlighting.ts +++ b/editors/code/src/highlighting.ts | |||
| @@ -40,9 +40,10 @@ export class Highlighter { | |||
| 40 | return [tag, decor]; | 40 | return [tag, decor]; |
| 41 | }; | 41 | }; |
| 42 | 42 | ||
| 43 | const decorations: Iterable< | 43 | const decorations: Iterable<[ |
| 44 | [string, vscode.TextEditorDecorationType] | 44 | string, |
| 45 | > = [ | 45 | vscode.TextEditorDecorationType |
| 46 | ]> = [ | ||
| 46 | decoration('comment'), | 47 | decoration('comment'), |
| 47 | decoration('string'), | 48 | decoration('string'), |
| 48 | decoration('keyword'), | 49 | decoration('keyword'), |