Redraw when annotations change.

DeleteAllMarks will only cause a modification notification when a mark was actually deleted.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/Editor.cxx b/src/Editor.cxx
index 9761c10c9..ecac75118 100644
--- a/src/Editor.cxx
+++ b/src/Editor.cxx
@@ -4354,6 +4354,7 @@ void Editor::NotifyModified(Document *, DocModification mh, void *) {
 			int lineDoc = pdoc->LineFromPosition(mh.position);
 			if (vs.annotationVisible) {
 				cs.SetHeight(lineDoc, cs.GetHeight(lineDoc) + mh.annotationLinesAdded);
+				Redraw();
 			}
 		}
 		CheckModificationForWrap(mh);
@@ -6374,6 +6375,7 @@ void Editor::SetAnnotationVisible(int visible) {
 				}
 			}
 		}
+		Redraw();
 	}
 }