diff options
author | 2023-09-26 03:29:51 +0200 | |
---|---|---|
committer | 2023-09-26 16:11:32 +0200 | |
commit | 3ba6f8fba9dbd6e479f4297a5a05b51273e461a3 (patch) | |
tree | 66c0d598fdcf93db51cf988547c4417bf80906a7 /subprojects/frontend/src/xtext/UpdateService.ts | |
parent | fix(query-interpreter): functional dependencies (diff) | |
download | refinery-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.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 | ||