diff options
Diffstat (limited to 'subprojects/frontend/src/xtext/UpdateService.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/UpdateService.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/frontend/src/xtext/UpdateService.ts b/subprojects/frontend/src/xtext/UpdateService.ts index 70e79764..0532f8df 100644 --- a/subprojects/frontend/src/xtext/UpdateService.ts +++ b/subprojects/frontend/src/xtext/UpdateService.ts | |||
@@ -56,6 +56,7 @@ export default class UpdateService { | |||
56 | constructor( | 56 | constructor( |
57 | private readonly store: EditorStore, | 57 | private readonly store: EditorStore, |
58 | private readonly webSocketClient: XtextWebSocketClient, | 58 | private readonly webSocketClient: XtextWebSocketClient, |
59 | private readonly onUpdate: (text: string) => void, | ||
59 | ) { | 60 | ) { |
60 | this.resourceName = `${nanoid(7)}.problem`; | 61 | this.resourceName = `${nanoid(7)}.problem`; |
61 | this.tracker = new UpdateStateTracker(store); | 62 | this.tracker = new UpdateStateTracker(store); |
@@ -122,6 +123,7 @@ export default class UpdateService { | |||
122 | if (!this.tracker.needsUpdate) { | 123 | if (!this.tracker.needsUpdate) { |
123 | return; | 124 | return; |
124 | } | 125 | } |
126 | this.onUpdate(this.store.state.sliceDoc()); | ||
125 | await this.tracker.runExclusive(() => this.updateExclusive()); | 127 | await this.tracker.runExclusive(() => this.updateExclusive()); |
126 | } | 128 | } |
127 | 129 | ||