Плагин Eclipse: постоянные маркеры не сохраняются

Question

Я разработал быстрый и простой плагин, который добавляет маркеры линий для строк, содержащих текст «TODO», на основе шаблона «Плагин с инкрементным построителем проекта».

Работает, но маркеры не сохраняется между сеансами Eclipse (перезагрузки).

У меня есть следующий элемент в моей plugin.xml:

<extension 
    id="todoTask" 
    name="TODO Task" 
    point="org.eclipse.core.resources.markers"> 
    <super type="org.eclipse.core.resources.taskmarker"> 
    </super> 
    <persistent value="true"/> 
</extension> 

Опять же, плагин работает отлично, так что это обрабатывается, но это, кажется, не имеет значения, если я установить атрибут persistent value в true или false, он просто не сохраняет маркеры.

Почему маркеры не сохраняются и как я могу это исправить? Нужно ли мне выполнять дополнительное программирование/конфигурацию, чтобы их сохранить? Благодарю.

Answer 1

Я узнал, в чем проблема, вызванная проб и ошибок. Идентификатор маркера должен иметь точку в нем, чтобы фактический считался типом маркера. Поэтому в вашем случае попробуйте установить id="todoTask.marker", а затем позвоните по телефону someResource.createMarker("todoTask.marker"). О, и, возможно, напишите идентификатор с строчными буквами, просто чтобы быть в безопасности.