aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/xtext/XtextClient.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2023-09-26 17:58:31 +0200
committerLibravatar GitHub <noreply@github.com>2023-09-26 17:58:31 +0200
commitf0eb2f6c5ca20c324325817898f2c934cbf5aaec (patch)
tree66c0d598fdcf93db51cf988547c4417bf80906a7 /subprojects/frontend/src/xtext/XtextClient.ts
parentfix(query-interpreter): functional dependencies (diff)
parentfeat(frontend): save in URL fragment (diff)
downloadrefinery-f0eb2f6c5ca20c324325817898f2c934cbf5aaec.tar.gz
refinery-f0eb2f6c5ca20c324325817898f2c934cbf5aaec.tar.zst
refinery-f0eb2f6c5ca20c324325817898f2c934cbf5aaec.zip
Merge pull request #42 from kris7t/save-in-url
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,