Strikethrough or other indication of text deleted by other participant

[sumana.harihareswara@…]

Currently, if I delete characters in a document, my collaborator does not see any indication that the deleted text was ever there. I suggest showing the newly deleted text, but having it displayed with a strikethrough line and highlighted in the color of the user who deleted it. Perhaps there are other UI possibilities.

This becomes less important with #104, Wiki-style reverts.

[armin]

I have considered the same at some point and I think I would also like it. Actually I'd like to keep the highlight (=background?) color to be the same (the one of the user who wrote the text) but show the user who deleted the text by some other means, maybe as a tooltip.

One question that comes to mind is whether text that a user erases should be directly erased or strike-throughed for himself.

And then the text offset calculations between "Position in text buffer (including strike-throughed text)" and "position in real document (not including strike-throughed text)" become a bit more tricky (and probably more expensive), but that should be doable.

[Locked]

Doesn't sound bad, but this will make #211 (Reset marks) even more important after a while. Otherwise, heavily edited paragraphs will become unreadable.