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 {
   constructor(
     private readonly store: EditorStore,
     private readonly webSocketClient: XtextWebSocketClient,
+    private readonly onUpdate: (text: string) => void,
   ) {
     this.resourceName = `${nanoid(7)}.problem`;
     this.tracker = new UpdateStateTracker(store);
@@ -122,6 +123,7 @@ export default class UpdateService {
     if (!this.tracker.needsUpdate) {
       return;
     }
+    this.onUpdate(this.store.state.sliceDoc());
     await this.tracker.runExclusive(() => this.updateExclusive());
   }