aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/xtext/UpdateService.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-26 03:29:51 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-26 16:11:32 +0200
commit3ba6f8fba9dbd6e479f4297a5a05b51273e461a3 (patch)
tree66c0d598fdcf93db51cf988547c4417bf80906a7 /subprojects/frontend/src/xtext/UpdateService.ts
parentfix(query-interpreter): functional dependencies (diff)
downloadrefinery-3ba6f8fba9dbd6e479f4297a5a05b51273e461a3.tar.gz
refinery-3ba6f8fba9dbd6e479f4297a5a05b51273e461a3.tar.zst
refinery-3ba6f8fba9dbd6e479f4297a5a05b51273e461a3.zip
feat(frontend): save in URL fragment
Diffstat (limited to 'subprojects/frontend/src/xtext/UpdateService.ts')
-rw-r--r--subprojects/frontend/src/xtext/UpdateService.ts2
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