Bug 46227 MarkerResolution extension point broken?
20031106 With the RCP change, the extension point org.eclipse.ui.ide.markerResolution seems to be broken. IDE.getMarkerHelpRegistry().getResolutions does not return anything.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/registry/MarkerHelpRegistryReader.java
/**
	 * Get the marker help that is defined in the plugin registry
	 * and add it to the given marker help registry.
	 * <p>
	 * 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.
	 * </p>
	 */
	public void addHelp(MarkerHelpRegistry registry) {
		IPluginRegistry pluginRegistry = Platform.getPluginRegistry();
		markerHelpRegistry = registry;
		readRegistry(pluginRegistry, PlatformUI.PLUGIN_ID, IDEWorkbenchPlugin.PL_MARKER_HELP);
		readRegistry(pluginRegistry, PlatformUI.PLUGIN_ID, IDEWorkbenchPlugin.PL_MARKER_RESOLUTION);
	}
	/**
	 * Processes one configuration element or child element.
	 */
	protected boolean readElement(IConfigurationElement element) {
		if (element.getName().equals(TAG_HELP)) {
			readHelpElement(element);
			return true;
		}
		if (element.getName().equals(TAG_RESOLUTION_GENERATOR)) {
			readResolutionElement(element);
			return true;
		}
		if (element.getName().equals(TAG_ATTRIBUTE)) {