1
Le point d'extension org.eclipse.ui.editors.markerAnnotationSpecification est utilisé pour modifier la façon dont certaines annotations de texte définies par l'utilisateur apparaissent dans l'éditeur.Dans les plugins Eclipse, existe-t-il une équivalence programmatique avec le point d'extension markerAnnotationSpecification?
Existe-t-il un moyen de créer, modifier ou remplacer ces programmes à partir d'un plugin?