(v: unknown)
| 283 | }; |
| 284 | |
| 285 | const isWorksheetFilter = (v: unknown): v is WorksheetFilter => |
| 286 | typeof v === "object" && |
| 287 | v !== null && |
| 288 | "keyword" in v && |
| 289 | "onlyShowStarred" in v && |
| 290 | "showMine" in v && |
| 291 | "showShared" in v && |
| 292 | "showDraft" in v; |
| 293 | |
| 294 | const reloadFromStorage = () => { |
| 295 | const scope = currentScope(); |