diff options
Diffstat (limited to 'language-web/src/main/js/xtext/UpdateService.ts')
-rw-r--r-- | language-web/src/main/js/xtext/UpdateService.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/language-web/src/main/js/xtext/UpdateService.ts b/language-web/src/main/js/xtext/UpdateService.ts index f8ab7438..bbe7bb62 100644 --- a/language-web/src/main/js/xtext/UpdateService.ts +++ b/language-web/src/main/js/xtext/UpdateService.ts | |||
@@ -53,6 +53,11 @@ export class UpdateService { | |||
53 | this.webSocketClient = webSocketClient; | 53 | this.webSocketClient = webSocketClient; |
54 | } | 54 | } |
55 | 55 | ||
56 | onConnect(): Promise<void> { | ||
57 | this.xtextStateId = null; | ||
58 | return this.updateFullText(); | ||
59 | } | ||
60 | |||
56 | onTransaction(transaction: Transaction): void { | 61 | onTransaction(transaction: Transaction): void { |
57 | const { changes } = transaction; | 62 | const { changes } = transaction; |
58 | if (!changes.empty) { | 63 | if (!changes.empty) { |