aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/xtext/OccurrencesService.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-31 15:02:16 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-31 19:26:15 +0100
commit36a2f8a6e0c19f728ddd8e88ccd45fa2a7aea283 (patch)
tree6f27bf231184646287bb502e0533f7f16e2db026 /language-web/src/main/js/xtext/OccurrencesService.ts
parentfix(web): undo/redo button accessibility issue (diff)
downloadrefinery-36a2f8a6e0c19f728ddd8e88ccd45fa2a7aea283.tar.gz
refinery-36a2f8a6e0c19f728ddd8e88ccd45fa2a7aea283.tar.zst
refinery-36a2f8a6e0c19f728ddd8e88ccd45fa2a7aea283.zip
chore(web): refactor xtext client
Diffstat (limited to 'language-web/src/main/js/xtext/OccurrencesService.ts')
-rw-r--r--language-web/src/main/js/xtext/OccurrencesService.ts10
1 files changed, 5 insertions, 5 deletions
diff --git a/language-web/src/main/js/xtext/OccurrencesService.ts b/language-web/src/main/js/xtext/OccurrencesService.ts
index 804f5ba2..d1dec9e9 100644
--- a/language-web/src/main/js/xtext/OccurrencesService.ts
+++ b/language-web/src/main/js/xtext/OccurrencesService.ts
@@ -34,19 +34,19 @@ function transformOccurrences(regions: ITextRegion[]): IOccurrence[] {
34} 34}
35 35
36export class OccurrencesService { 36export class OccurrencesService {
37 private store: EditorStore; 37 private readonly store: EditorStore;
38 38
39 private webSocketClient: XtextWebSocketClient; 39 private readonly webSocketClient: XtextWebSocketClient;
40 40
41 private updateService: UpdateService; 41 private readonly updateService: UpdateService;
42 42
43 private hasOccurrences = false; 43 private hasOccurrences = false;
44 44
45 private findOccurrencesTimer = new Timer(() => { 45 private readonly findOccurrencesTimer = new Timer(() => {
46 this.handleFindOccurrences(); 46 this.handleFindOccurrences();
47 }, FIND_OCCURRENCES_TIMEOUT_MS); 47 }, FIND_OCCURRENCES_TIMEOUT_MS);
48 48
49 private clearOccurrencesTimer = new Timer(() => { 49 private readonly clearOccurrencesTimer = new Timer(() => {
50 this.clearOccurrences(); 50 this.clearOccurrences();
51 }, CLEAR_OCCURRENCES_TIMEOUT_MS); 51 }, CLEAR_OCCURRENCES_TIMEOUT_MS);
52 52