()
| 205 | let currentPrefetchLink: HTMLAnchorElement | null = null; |
| 206 | |
| 207 | function clearPrefetchTimeout() { |
| 208 | if (prefetchTimeout) { |
| 209 | clearTimeout(prefetchTimeout); |
| 210 | prefetchTimeout = null; |
| 211 | } |
| 212 | currentPrefetchLink = null; |
| 213 | } |
| 214 | |
| 215 | document.addEventListener( |
| 216 | 'pointerenter', |