diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:35:42 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:40:04 +0100 |
commit | 862cb00e40aa6f094aff019a44f52ebfca90ab88 (patch) | |
tree | 3c32b6ca6612d07d3d1fcfc5620c86ba9c774b3b /subprojects/frontend/src/xtext | |
parent | refactor(language): simplify syntax (diff) | |
download | refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.tar.gz refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.tar.zst refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.zip |
fix(frontend): mobx 6.7.0 typing
Also bumps some dependencies and updates tsconfig.json
The added workarounds should be remove once
https://github.com/mobxjs/mobx/issues/3582 is resolved.
Diffstat (limited to 'subprojects/frontend/src/xtext')
-rw-r--r-- | subprojects/frontend/src/xtext/OccurrencesService.ts | 2 | ||||
-rw-r--r-- | subprojects/frontend/src/xtext/webSocketMachine.ts | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/xtext/OccurrencesService.ts b/subprojects/frontend/src/xtext/OccurrencesService.ts index 248a9a87..fc72ead2 100644 --- a/subprojects/frontend/src/xtext/OccurrencesService.ts +++ b/subprojects/frontend/src/xtext/OccurrencesService.ts | |||
@@ -1,4 +1,4 @@ | |||
1 | import { Transaction } from '@codemirror/state'; | 1 | import type { Transaction } from '@codemirror/state'; |
2 | import { debounce } from 'lodash-es'; | 2 | import { debounce } from 'lodash-es'; |
3 | import ms from 'ms'; | 3 | import ms from 'ms'; |
4 | 4 | ||
diff --git a/subprojects/frontend/src/xtext/webSocketMachine.ts b/subprojects/frontend/src/xtext/webSocketMachine.ts index 5f6bc604..216ed86a 100644 --- a/subprojects/frontend/src/xtext/webSocketMachine.ts +++ b/subprojects/frontend/src/xtext/webSocketMachine.ts | |||
@@ -205,7 +205,7 @@ export default createMachine( | |||
205 | ERROR_WAIT_TIME: ({ errors: { length: retryCount } }) => { | 205 | ERROR_WAIT_TIME: ({ errors: { length: retryCount } }) => { |
206 | const { length } = ERROR_WAIT_TIMES; | 206 | const { length } = ERROR_WAIT_TIMES; |
207 | const index = retryCount < length ? retryCount : length - 1; | 207 | const index = retryCount < length ? retryCount : length - 1; |
208 | return ERROR_WAIT_TIMES[index]; | 208 | return ERROR_WAIT_TIMES[index] ?? 0; |
209 | }, | 209 | }, |
210 | }, | 210 | }, |
211 | actions: { | 211 | actions: { |