(el: Element)
| 84 | |
| 85 | /** scrollIntoViewIfNeeded has nicer behavior than the web standard, but is non-standard. */ |
| 86 | export function scrollIntoViewIfNeeded(el: Element) { |
| 87 | const wkEl = el as WebkitElement; |
| 88 | if (wkEl.scrollIntoViewIfNeeded) { |
| 89 | wkEl.scrollIntoViewIfNeeded(); |
| 90 | } else { |
| 91 | wkEl.scrollIntoView({block: 'nearest'}); |
| 92 | } |
| 93 | } |