/** * 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(); }