« first day (1543 days earlier)      last day (1895 days later) » 

Martin Sleziak
Martin Sleziak
10:16 AM
Martin, thanks for suggesting this very useful feature. Since it's enabled, I had it maybe 5-6 times: precisely in a post I click "edit tags" and type, for instance, "gt", and what happened is that the cursor is put automatically at the end of the list of the question's tags, only after I typed "g". This resulted in changing, say, "set-theory" to "gset-theory". But my eyes weren't on the tag set-theory so it was unnoticed; I just retyped "gt" instead of "t", and in this way I added the new tag while adding a typo in another tag. Now this results in the warning and it's great. — YCor yesterday
Perhaps at least some of my activity on MO could count as an example that occasionally even barbarians might be useful for that site.
 
 
8 hours later…
quid
quid
6:11 PM
I finally wrote that meta post about the broken comments. Sorry it took so long.
@MartinSleziak No. As a professional mathematician using their real name, you'd be always part of the establishment.
 
 
1 hour later…
Martin Sleziak
Martin Sleziak
7:33 PM
@quid Thanks for that. Possibly the tag comment might be a reasonable addition to your question - it might help in future for searching purposes.
As you noticed, I have flagged a few such comments and also tried to do some searching (with some queries) in a separate room. Depending how much time I have, I might add a few more there.
I have also edited a few posts where this issue manifests.
 
quid
quid
@MartinSleziak I forgot that. If you think it's useful you could add a comment with a link to that room.
 
Martin Sleziak
Martin Sleziak
@quid TBH I am not sure whether somebody will chime in in that chat, but I have added a comment you suggested anyway.
After all, this is not something with high priority, so even if it remains the way it is (that I search for such posts and comments only when I have a bit of spare time), it's all right.
 

« first day (1543 days earlier)      last day (1895 days later) »