ART n'enregistre plus mes modifications?

Wait 5 sec.

en réponse à @Chan et à @sguyader concernant le fichier “options” coché.Dans la capture d’écran pour indiquer l’emplacement du fichier options de ART, on voit effectivement une coche devant le fichier. C’est un possibilité de mon explorateur de fichiers de pouvoir faire une sélection multiple de fichiers et de dossiers.C’est totalement hors domaine du logiciel ART.Désolé d’avoir suscité des interrogations .