fix #5692: adapt delete algorithm to annotatedLineEditor mechanisms