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