Keep track of vertical scroll position in HTML tabs for tab history #12
Description
In the front-end, there are "back" and "forward" arrow buttons at the top-left of the two panes that go back and forwards through the history of the UI items that the user has selected. It would be helpful if this also tracked the scroll position in HTML tabs so that going from one documentation page and then back left the scrollbar in the same position. This might be possible if the "document.body.scrollTop" property from the DOM was accessible.