diff options
Diffstat (limited to 'subprojects/frontend/src/xtext/XtextWebSocketClient.ts')
-rw-r--r-- | subprojects/frontend/src/xtext/XtextWebSocketClient.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts index 963c1d4c..bb84223c 100644 --- a/subprojects/frontend/src/xtext/XtextWebSocketClient.ts +++ b/subprojects/frontend/src/xtext/XtextWebSocketClient.ts | |||
@@ -270,6 +270,12 @@ export default class XtextWebSocketClient { | |||
270 | return promise; | 270 | return promise; |
271 | } | 271 | } |
272 | 272 | ||
273 | setKeepAlive(keepAlive: boolean): void { | ||
274 | this.interpreter.send({ | ||
275 | type: keepAlive ? 'GENERATION_STARTED' : 'GENERATION_ENDED', | ||
276 | }); | ||
277 | } | ||
278 | |||
273 | private updateVisibility(): void { | 279 | private updateVisibility(): void { |
274 | this.interpreter.send(document.hidden ? 'TAB_HIDDEN' : 'TAB_VISIBLE'); | 280 | this.interpreter.send(document.hidden ? 'TAB_HIDDEN' : 'TAB_VISIBLE'); |
275 | } | 281 | } |