Shell parentShell = window.getShell();
return parentShell;
}
private void addPrefPages(PrefPage[] prefPages, PreferenceNode rootNode) {
Arrays.sort(prefPages, new PrefPageComparator());
for (int ii = 0; ii < prefPages.length; ii++) {
PreferenceNode prefNode = makePreferenceNode(prefPages[ii]);
rootNode.add(prefNode);
}
}