FilteredPreferenceDialog(Shell parentShell, PreferenceManager manager) Creates a new preference dialog under the control of the given preference
manager.
findNodeMatching(String nodeId) Differs from super implementation in that if the node is found but should
be filtered based on a call to
WorkbenchActivityHelper.filterItem() then
null is returned.
public FilteredPreferenceDialog(Shell parentShell, PreferenceManager manager)(Code)
Creates a new preference dialog under the control of the given preference
manager.
Parameters: parentShell - the parent shell Parameters: manager - the preference manager
Differs from super implementation in that if the node is found but should
be filtered based on a call to
WorkbenchActivityHelper.filterItem() then
null is returned.
See Also: org.eclipse.jface.preference.PreferenceDialog.findNodeMatching(java.lang.String)
getContainerToolBar
Control getContainerToolBar(Composite composite)(Code)
Set the content and label providers for the treeViewer
Parameters: treeViewer -
setCurrentPageId
final public void setCurrentPageId(String preferencePageId)(Code)
Selects the current page based on the given preference page identifier.
If no node can be found, then nothing will change.
Parameters: preferencePageId - The preference page identifier to select; should not benull.