(filter: WorksheetFilter)
| 356 | }; |
| 357 | |
| 358 | const persistFilter = (filter: WorksheetFilter) => { |
| 359 | const scope = currentScope(); |
| 360 | if (!scope) return; |
| 361 | safeWriteJSON( |
| 362 | storageKeySqlEditorWorksheetFilter( |
| 363 | scope.wsScope, |
| 364 | scope.project, |
| 365 | scope.email |
| 366 | ), |
| 367 | filter |
| 368 | ); |
| 369 | }; |
| 370 | |
| 371 | const persistExpandedKeys = (keys: Set<string>) => { |
| 372 | const scope = currentScope(); |
no test coverage detected