Si on édite à la main le fichier ~/.jpicedt/preferences pour virer des fichiers récents (en mettant une valeur vide aux propriétés menu.recent-file.NN correspondantes), alors lorsque on crée des trous cela fait apparaître des doublons dans le menu des fichiers récents.
