aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--editors/code/src/highlighting.ts15
1 files changed, 10 insertions, 5 deletions
diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts
index 96d550376..247673b5c 100644
--- a/editors/code/src/highlighting.ts
+++ b/editors/code/src/highlighting.ts
@@ -6,11 +6,10 @@ const seedrandom = seedrandom_; // https://github.com/jvandemo/generator-angular
6import * as scopes from './scopes'; 6import * as scopes from './scopes';
7import * as scopesMapper from './scopes_mapper'; 7import * as scopesMapper from './scopes_mapper';
8 8
9import { Server } from './server';
10import { Ctx } from './ctx'; 9import { Ctx } from './ctx';
11 10
12export function activateHighlighting(ctx: Ctx) { 11export function activateHighlighting(ctx: Ctx) {
13 const highlighter = new Highlighter(); 12 const highlighter = new Highlighter(ctx);
14 13
15 ctx.client.onReady().then(() => { 14 ctx.client.onReady().then(() => {
16 ctx.client.onNotification( 15 ctx.client.onNotification(
@@ -118,6 +117,12 @@ function createDecorationFromTextmate(
118} 117}
119 118
120class Highlighter { 119class Highlighter {
120 private ctx: Ctx;
121
122 constructor(ctx: Ctx) {
123 this.ctx = ctx;
124 }
125
121 private static initDecorations(): Map< 126 private static initDecorations(): Map<
122 string, 127 string,
123 vscode.TextEditorDecorationType 128 vscode.TextEditorDecorationType
@@ -213,7 +218,7 @@ class Highlighter {
213 string, 218 string,
214 [vscode.Range[], boolean] 219 [vscode.Range[], boolean]
215 > = new Map(); 220 > = new Map();
216 const rainbowTime = Server.config.rainbowHighlightingOn; 221 const rainbowTime = this.ctx.config.rainbowHighlightingOn;
217 222
218 for (const tag of this.decorations.keys()) { 223 for (const tag of this.decorations.keys()) {
219 byTag.set(tag, []); 224 byTag.set(tag, []);
@@ -232,13 +237,13 @@ class Highlighter {
232 colorfulIdents 237 colorfulIdents
233 .get(d.bindingHash)![0] 238 .get(d.bindingHash)![0]
234 .push( 239 .push(
235 Server.client.protocol2CodeConverter.asRange(d.range), 240 this.ctx.client.protocol2CodeConverter.asRange(d.range),
236 ); 241 );
237 } else { 242 } else {
238 byTag 243 byTag
239 .get(d.tag)! 244 .get(d.tag)!
240 .push( 245 .push(
241 Server.client.protocol2CodeConverter.asRange(d.range), 246 this.ctx.client.protocol2CodeConverter.asRange(d.range),
242 ); 247 );
243 } 248 }
244 } 249 }