diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2023-09-17 19:29:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-17 19:29:33 +0200 |
commit | 5913f308de8dce54a626a5f5e64faa1a26ace783 (patch) | |
tree | fc9cf0c59c20d06286e66c881653531848be6d97 /subprojects/frontend/src/xtext/webSocketMachine.ts | |
parent | chore: remove VIATRA branding (diff) | |
parent | fix(frontend): XState warning (diff) | |
download | refinery-5913f308de8dce54a626a5f5e64faa1a26ace783.tar.gz refinery-5913f308de8dce54a626a5f5e64faa1a26ace783.tar.zst refinery-5913f308de8dce54a626a5f5e64faa1a26ace783.zip |
Merge pull request #41 from kris7t/frontend-fixes
Frontend fixes
Diffstat (limited to 'subprojects/frontend/src/xtext/webSocketMachine.ts')
-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: { |