diff options
| -rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java index 3e5f1d3275c..cbf170cd837 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/InlinedAnnotationDrawingStrategy.java @@ -79,7 +79,7 @@ class InlinedAnnotationDrawingStrategy implements IDrawingStrategy { } catch (Exception e) { return; } - if (annotation.isMarkedDeleted()) { + if (annotation.isMarkedDeleted() || annotation.getPosition().isDeleted()) { // When annotation is deleted, update metrics to null to remove extra spaces of the line header annotation. if (style != null) { style.metrics= null; @@ -223,7 +223,7 @@ class InlinedAnnotationDrawingStrategy implements IDrawingStrategy { } catch (Exception e) { return; } - if (annotation.isMarkedDeleted()) { + if (annotation.isMarkedDeleted() || annotation.getPosition().isDeleted()) { // When annotation is deleted, update metrics to null to remove extra spaces of the line content annotation. if (style != null) { style.metrics= null; |