()
| 325 | // recover scroll position |
| 326 | const scroll = scroll_positions[current_history_index]; |
| 327 | function restore_scroll() { |
| 328 | if (scroll) { |
| 329 | history.scrollRestoration = 'manual'; |
| 330 | scrollTo(scroll.x, scroll.y); |
| 331 | } |
| 332 | } |
| 333 | |
| 334 | if (hydrate) { |
| 335 | restore_scroll(); |