aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/xtext/XtextClient.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/XtextClient.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/XtextClient.ts')
-rw-r--r--subprojects/frontend/src/xtext/XtextClient.ts7
1 files changed, 6 insertions, 1 deletions
diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index 7486d737..21ac5750 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -49,13 +49,18 @@ export default class XtextClient {
49 constructor( 49 constructor(
50 private readonly store: EditorStore, 50 private readonly store: EditorStore,
51 private readonly pwaStore: PWAStore, 51 private readonly pwaStore: PWAStore,
52 onUpdate: (text: string) => void,
52 ) { 53 ) {
53 this.webSocketClient = new XtextWebSocketClient( 54 this.webSocketClient = new XtextWebSocketClient(
54 () => this.onReconnect(), 55 () => this.onReconnect(),
55 () => this.onDisconnect(), 56 () => this.onDisconnect(),
56 this.onPush.bind(this), 57 this.onPush.bind(this),
57 ); 58 );
58 this.updateService = new UpdateService(store, this.webSocketClient); 59 this.updateService = new UpdateService(
60 store,
61 this.webSocketClient,
62 onUpdate,
63 );
59 this.contentAssistService = new ContentAssistService(this.updateService); 64 this.contentAssistService = new ContentAssistService(this.updateService);
60 this.highlightingService = new HighlightingService( 65 this.highlightingService = new HighlightingService(
61 store, 66 store,