Merged in default (pull request #27)

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

Approved-by: Elliott Sales de Andrade