| org.eclipse.ui.internal.dialogs.WorkbenchPreferenceManager
| WorkbenchPreferenceManager | | public class WorkbenchPreferenceManager extends PreferenceManager implements IExtensionChangeHandler(Code) | | The WorkbenchPreferenceManager is the manager that can handle categories and
preference nodes.
|
| WorkbenchPreferenceManager | | public WorkbenchPreferenceManager(char separatorChar)(Code) | | Create a new instance of the receiver with the specified seperatorChar
Parameters:
separatorChar - |
| addExtension | | public void addExtension(IExtensionTracker tracker, IExtension extension)(Code) | | |
| addPages | | public void addPages(Collection pageContributions)(Code) | | Add the pages and the groups to the receiver.
Parameters:
pageContributions - |
| removeExtension | | public void removeExtension(IExtension extension, Object[] objects)(Code) | | |
|
|