()
| 79 | ); |
| 80 | |
| 81 | const readResultRowsLimit = () => |
| 82 | safeRead<number>( |
| 83 | STORAGE_KEY_SQL_EDITOR_RESULT_LIMIT, |
| 84 | (v) => |
| 85 | typeof v === "number" && Number.isFinite(v) && v > 0 ? v : undefined, |
| 86 | DEFAULT_RESULT_ROWS_LIMIT |
| 87 | ); |
| 88 | |
| 89 | const readRedisOption = () => |
| 90 | safeRead<QueryOption_RedisRunCommandsOn>( |