Mastodawn

Exa, never surely complete Feb 24

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 Feb 27 at 10:21pm.

Exa, never surely complete Feb 24

if you answer "something else" please reply with what the something else is

Exa, never surely complete Feb 24

presently i am feeling like #3 is the right answer. but would like to know others' feelings on it

Exa, never surely complete Feb 24

i think in trying to make what these mean clear, i made it less clear

Exa, never surely complete Feb 24

separately, unread notifications for deleted messages...

should remain with the original text visible (old Discord behavior)

0%

should be replaced with "Deleted message" but remain unread (Matrix behavior)

42.5%

should be revoked (new Discord behavior)

55%

something else

2.5%

Poll ended at Feb 27 at 10:29pm.

@exa i think this depends on how you choose to present deleted messages. if they're hidden from history, then it might make sense to revoke the notification, if you choose to leave a marker, then it might make sense to show that notification as well. thinking about it some more though, it does seem like a bit of a useless notification to have: i do not like having a lot of notifications and seeing a notification about a deleted message (that i cannot read!) seems very useless.

Exa, never surely complete

the argument in favor of #2 is that you may have received a notification sound but not responded to it, and by the time you get around to it you have no notification and were therefore "ghost pinged"

@exa ah yes, i tend to disable notifications sounds so i forgot about that. absolutely agree though, that is certainly a good reason to keep the notification in some form.