J’ai remarqué ce problème sur une instance interne et je viens de le reproduire ici sur meta :
- Accédez à une catégorie, par exemple Customization > Extras (où vous n’avez pas encore personnalisé vos paramètres de notification, donc ils sont par défaut à
Normal). - Modifiez le paramètre pour autre chose, par exemple
Muet. - Rechargez la page avec votre navigateur (par exemple F5).
- Si le paramètre est conforme à l’attendu, essayez de le modifier vers un autre paramètre (y compris
Normal).
Si le paramètre n’est pas conforme à l’attendu, c’est le bug.
Parfois, les paramètres sont appliqués, mais plus souvent ils ne le sont pas, en particulier lors du passage entre Normal, En observation et Muet (mais cette dernière observation pourrait être simplement une impression de ma part).
(Solution de contournement : Allez dans les préférences utilisateur et configurez-les là – n’oubliez pas de Enregistrer les modifications.)
P.S. : Bien que les requêtes XHR HTTP POST vers le point de terminaison notifications retournent un HTTP 200, j’ai remarqué qu’elles envoient le notification_level sous forme de chaîne (c’est-à-dire « 0 » pour Muet, « 1 » pour Normal jusqu’à « 3 » pour En observation), mais peut-être que c’est intentionnel et que ce n’est pas le problème.