Löschen einer Textmarke kennzeichnet das Dokument nicht als modifiziert. Ctrl+s führt daher keine Sicherung durch. Wenn jetzt WRITER verlassen wird, ist die Textmarke immer noch vorhanden
*** This bug has been marked as a duplicate of bug 56115 ***
Clone of bug 56115 (same reporter, similar summary).