Dear Dani,
Daniel Megert wrote:
You don't need to take care of this in general: the AnnotationPainter
which gets configured automatically if you use
SourceViewerDecorationSupport does this for you. You can either
create annotations directly or create markers. If you wan your
markers to appear your editor has to use a marker annotation model.
You should also take a look at the following extension points:
org.eclipse.ui.editors.markerAnnotationSpecification
org.eclipse.ui.editors.annotationTypes
Dani
I do not have the luxury of a Text editor. Would it be possible to
draw the red squiggle thingy for StyledText widget directly?