diff options
-rw-r--r-- | subprojects/frontend/src/xtext/webSocketMachine.ts | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/subprojects/frontend/src/xtext/webSocketMachine.ts b/subprojects/frontend/src/xtext/webSocketMachine.ts index 9113286f..43fbff22 100644 --- a/subprojects/frontend/src/xtext/webSocketMachine.ts +++ b/subprojects/frontend/src/xtext/webSocketMachine.ts | |||
@@ -175,10 +175,9 @@ export default createMachine( | |||
175 | visibleOrUnknown: { | 175 | visibleOrUnknown: { |
176 | id: 'tabVisible', | 176 | id: 'tabVisible', |
177 | on: { | 177 | on: { |
178 | TAB_HIDDEN: [ | 178 | // The `always` transition will move to `#mayDisconnect` |
179 | { target: 'hidden.mayDisconnect', in: '#generationIdle' }, | 179 | // if disconnection is possible. |
180 | { target: 'hidden.keepAlive', in: '#generationRunning' }, | 180 | TAB_HIDDEN: '#keepAlive', |
181 | ], | ||
182 | }, | 181 | }, |
183 | }, | 182 | }, |
184 | hidden: { | 183 | hidden: { |