| This examples plug-in demonstrates the following features: | |
| 1. The helpContextProvider attribute of the org.eclipse.ui.ide.markerHelp extension point. | |
| - Start up a eclipse instance, execute command "Add Example Markers" and press Shift-F1 on the markers |