Add API to page up/down in the history widget.

2019-07-19, Gary Kramlich