when a message is deleted, it should...
immediately disappear for everyone and be permanently missing from history (Discord behavior)
11.1%
be immediately replaced with a "deleted message" marker, which remains in the history (Matrix behavior)
55.6%
be immediately replaced with a "deleted message" marker, but disappear from history
27.8%
something else
5.6%
Poll ended at .
@exa I don't really understand the difference between options 1 and 3, could you clarify? If it's disappeared from history, then where would I see the "deleted message" marker?
@vaporeon_  in already-open chat windows

@exa So in the already-open chat window, you see "deleted message", but then if you close and re-open, the message is just gone?

That'd make sense to me, makes it clear that the message was actually there and I didn't just imagine it, without cluttering up the history a lot

@vaporeon_  correct