Я хочу указать пользовательский значок для маркера. К сожалению, выбранный мной значок не отображается.
Вот соответствующие части файла 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
в качестве только супертипа.