Ciao a tutti!
Mi sono appena reso conto che tutte le menzioni diventano grigie, quindi la menzione di un utente potrebbe passare inosservata se si trova in un elenco piuttosto lungo di menzioni (a volte succede):
Sarebbe molto comodo avere la propria menzione colorata in modo diverso, come in Slack:
C’è una soluzione, o mi sto perdendo qualcosa? Grazie!
L’utente menzionato (come ci si aspetterebbe) riceve comunque una notifica, quindi sarà in grado di vedere se è stato menzionato. Non ho mai perso una notifica di menzione.
Gli utenti possono anche vedere tutte le loro menzioni qui
https://your.discoursesite-name/my/notifications/mentions
Grazie, @ondrej! Sembra tutto ragionevole, ma l’altro giorno mi è capitata una situazione in cui un utente non si era reso conto di essere stato menzionato perché il suo nome utente era “user99999” 
Probabilmente è un caso piuttosto raro, ma sarebbe comunque bello che il nome utente di una persona spiccasse in un post.
