diff options
author | 2021-10-31 15:02:16 +0100 | |
---|---|---|
committer | 2021-10-31 19:26:15 +0100 | |
commit | 36a2f8a6e0c19f728ddd8e88ccd45fa2a7aea283 (patch) | |
tree | 6f27bf231184646287bb502e0533f7f16e2db026 /language-web/src/main/js/xtext/OccurrencesService.ts | |
parent | fix(web): undo/redo button accessibility issue (diff) | |
download | refinery-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.ts | 10 |
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 | ||
36 | export class OccurrencesService { | 36 | export 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 | ||