| java.lang.Object
 org.eclipse.ui.internal.ide.registry.IDERegistryReader
org.eclipse.ui.internal.ide.registry.MarkerHelpRegistryReader
| MarkerHelpRegistryReader | | public class MarkerHelpRegistryReader extends IDERegistryReader (Code) | | This class is used to read marker help context ids and
resolutions from the platform registry.
|
| Method Summary | |
| public void | addHelp(MarkerHelpRegistry registry)
Get the marker help that is defined in the plugin registry
and add it to the given marker help registry. | | protected boolean | readElement(IConfigurationElement element)
Processes one configuration element or child element. |
| addHelp | | public void addHelp(MarkerHelpRegistry registry)(Code) | | Get the marker help that is defined in the plugin registry
and add it to the given marker help registry.
Warning:
The marker help registry must be passed in because this
method is called during the process of setting up the
marker help registry and at this time it has not been
safely setup with the plugin.
|
| readElement | | protected boolean readElement(IConfigurationElement element)(Code) | | Processes one configuration element or child element.
|
|
|