Я хочу указать пользовательский значок для маркера. К сожалению, выбранный мной значок не отображается.

Вот соответствующие части файла plugin.xml (идентификатор проекта "x"):

<extension
      id="xmlProblem"
      name="XML Problem"
      point="org.eclipse.core.resources.markers">
   <super type="org.eclipse.core.resources.problemmarker"/>
   <persistent
         value="true">
   </persistent>
</extension>

<extension
      point="org.eclipse.ui.ide.markerImageProviders">
   <imageprovider
         markertype="x.xmlProblem"
         icon="icons/marker.png"
         id="xmlProblemImageProvider">
   </imageprovider>
</extension>

Я также попытался указать класс (реализацииIMarkerImageProvider) вместо иконки, но этоgetImagePath() метод класса не вызывается.

Любые мысли о том, как сделать так, чтобы пользовательские значки маркеров работали?

Отчаянно ваш.

-Itay

Обновить

Решение VonC в значительной степени правильно, за исключением того, что вы должныне уточнитьorg.eclipse.core.resources.problemmarker как супертип вашего маркера. Работало только когда я использовалorg.eclipse.core.resources.textmarker кактолько супертип.