(e: HistoryEntry)
| 12 | const LOAD_MORE = "__load_more__"; |
| 13 | |
| 14 | function entryUrl(e: HistoryEntry): string { |
| 15 | const params = e.params as Record<string, unknown>; |
| 16 | return String(params.url ?? params.query ?? ""); |
| 17 | } |
| 18 | |
| 19 | function entryLabel(e: HistoryEntry): string { |
| 20 | const short = e.id.length > 12 ? `${e.id.slice(0, 12)}…` : e.id; |