Artifact 1f711eb8059a6baffcce9ed440d3e27c46201d38c929214965536f08453b6e23:

• File src/scroll.js — part of check-in [ec73edd4d0] at 2020-08-14 11:53:44 on branch line-number-selection — Changes line-numbered output to make line numbers selectable, as discussed in [https://fossil-scm.org/forum/forumpost/dc3da10590]. A couple decisions are needed before deciding whether to merge. (user: stephan size: 143) [more...]

/* Cause the page to scroll so that the #scrollToMe is visible */
(document.getElementById('scrollToMe')||document.body).scrollIntoView(true);