Essaye de sauver les options et de fermer/relancer le logiciel. J'utilise pas ce logiciel pour changer les warning (je trouve que celui par défaut donne mieux qu'un customisé
) donc je peux pas te dire si ça marchera ou pas.
Mais après tout, les développeurs ont aussi des faiblesses ^^