Der Erweiterungspunkt org.eclipse.ui.editors.markerAnnotationSpecification
wird verwendet, um zu ändern, wie bestimmte benutzerdefinierte Textanmerkungen im Editor angezeigt werden.Gibt es in Eclipse-Plugins eine programmatische Äquivalenz zum markerAnnotationSpecification-Erweiterungspunkt?
Gibt es eine Möglichkeit, diese programmatisch von einem Plugin zu erstellen, zu ändern oder zu überschreiben?