aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/highlighting.ts
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-12-31 17:59:59 +0000
committerGitHub <[email protected]>2019-12-31 17:59:59 +0000
commite4d217074d1f2c922cf8c5a247ca05fa06b0b7ed (patch)
tree1df182b9755a83c460c928ad8a0bf5ff76548e3c /editors/code/src/highlighting.ts
parentc8b98c46675396c4f9d26c6b001e01c81d84b89e (diff)
parentff0ceb30a9ab4162d0f1241d8b0f9aa531c3c9d2 (diff)
Merge #2711
2711: Add semicolons r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
-rw-r--r--editors/code/src/highlighting.ts12
1 files changed, 6 insertions, 6 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts
index f9d2e9d90..014e96f75 100644
--- a/editors/code/src/highlighting.ts
+++ b/editors/code/src/highlighting.ts
@@ -30,7 +30,7 @@ export function activateHighlighting(ctx: Ctx) {
30 highlighter.setHighlights(targetEditor, params.decorations); 30 highlighter.setHighlights(targetEditor, params.decorations);
31 }, 31 },
32 ); 32 );
33 }) 33 });
34 34
35 vscode.workspace.onDidChangeConfiguration( 35 vscode.workspace.onDidChangeConfiguration(
36 _ => highlighter.removeHighlights(), 36 _ => highlighter.removeHighlights(),
@@ -173,13 +173,13 @@ class Highlighter {
173 173
174function initDecorations(): Map<string, vscode.TextEditorDecorationType> { 174function initDecorations(): Map<string, vscode.TextEditorDecorationType> {
175 const theme = ColorTheme.load(); 175 const theme = ColorTheme.load();
176 const res = new Map() 176 const res = new Map();
177 TAG_TO_SCOPES.forEach((scopes, tag) => { 177 TAG_TO_SCOPES.forEach((scopes, tag) => {
178 if (!scopes) throw `unmapped tag: ${tag}` 178 if (!scopes) throw `unmapped tag: ${tag}`;
179 let rule = theme.lookup(scopes) 179 let rule = theme.lookup(scopes);
180 const decor = createDecorationFromTextmate(rule); 180 const decor = createDecorationFromTextmate(rule);
181 res.set(tag, decor) 181 res.set(tag, decor);
182 }) 182 });
183 return res; 183 return res;
184} 184}
185 185