(fitted: number, willFit: number, viewTop?: number)
| 614 | |
| 615 | // If viewTop is not given, it means returned value is unused. |
| 616 | private scrollToFitEdge(fitted: number, willFit: number, viewTop?: number) { |
| 617 | window.scrollBy(0, willFit - fitted); |
| 618 | // Return really scrolled. If viewTop is not given, do not access |
| 619 | // to document.body.scrollTop because it causes reflow. |
| 620 | return viewTop === undefined || document.body.scrollTop !== viewTop; |
| 621 | } |
| 622 | } |