Use scrollHeight to find out how to scroll to the end for ctrl-end.

https://github.com/coolwanglu/pdf2htmlEX/issues/180