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