Eclipse Plugin: Permanente Marker nicht persistent

Question

Ich habe ein schnelles und einfaches Plugin entwickelt, das Linienmarkierungen für Linien mit dem Text "TODO" hinzufügt, basierend auf der Vorlage "Plugin mit inkrementellem Projekt Builder".

Es funktioniert, aber Marker sind nicht persistent zwischen Eclipse-Sitzungen (Neustarts).

Ich habe folgendes Element in meinem 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> 

Auch das Plugin funktioniert gut, so wird diese verarbeitet, aber es scheint nicht Rolle, ob ich das persistent value Attribut true gesetzt oder false, es hält die Marker nicht an.

Warum bleiben die Markierungen nicht bestehen und wie kann ich das beheben? Muss ich zusätzliche Programmierung/Konfiguration durchführen, um sie zu erhalten? Vielen Dank.

Answer 1

Ich habe herausgefunden, was das Problem durch Versuch und Irrtum war. Die Marker-ID muss einen Punkt enthalten, um als Markertyp gezählt zu werden. Also versuchen Sie in Ihrem Fall zum Beispiel id="todoTask.marker" und rufen Sie dann someResource.createMarker("todoTask.marker"). Oh, und vielleicht schreiben Sie die ID mit Kleinbuchstaben, nur um auf der sicheren Seite zu sein