Currently if a proof has more than one page, we cannot scroll to the additional pages. We have to navigate to the page buttons or change the page number. It would be extremely convenient to be able to scroll between pages without having to navigate to other controls.
