/**
* 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();
}
@Override
public boolean openPage(String pageId, Object data) {
setPageData(data);
setCurrentPageId(pageId);
IPreferencePage page = getCurrentPage();
if (page instanceof PreferencePage) {
((PreferencePage) page).applyData(data);
}
return true;
}