/**
* Sets the current page to be the one corresponding to the given index in the page history.
*
* @param index the index into the page history
*/
private void jumpToHistory(int index) {
if (index >= 0 && index < history.size()) {
historyIndex = index;
dialog.setCurrentPageId(getHistoryEntry(index).getId());
}
updateHistoryControls();
}
