Closed WREATCHED closed 2 years ago
Oui... c'est en fait le meilleur comportement auquel nous sommes arrivés à ce stade - cf. issue #24.
En substance, le menu de Plume permet de sélectionner un format. xml
et pretty-xml
encodent tous deux en XML, mais en organisant différemment les métadonnées, ce qui fait qu'ils sont considérés comme deux formats différents.
Dans la boîte de dialogue, c'est nettement moins subtil : le type de fichier ne peut plus être identifié que par son extension. La liste qui permet de changer a posteriori de format d'export est donc en fait une liste d'extensions (avec le format correspondant pour la bonne information de l'utilisateur). L'extension de référence étant la même pour xml
et pretty-xml
, il a fallu choisir un des deux, et c'est pretty-xml
que nous avons défini comme format par défaut pour l'extension .rdf
. Évidemment, lorsque l'utilisateur clique sur le format xml
dans le menu de Plume, c'est ensuite xml
et pas pretty-xml
qu'on retrouve dans la liste de la boîte de dialogue, mais c'est le seul cas.
Ce n'est pas parfait, mais nous avons pensé qu'il n'était peut-être pas dramatique que le format xml
ne soit sélectionnable que depuis le menu de Plume...
Merci pour ces précisions. C'est un comportement non gênant et en rien dramatique. Un constat que je voulais porter à votre connaissance et aussi afin d'être sur que c'était pas le même format présenté sous un nom différent.
@StormKlaus Ok ! Merci pour ton retour (et pour l'alerte, qui aurait tout à fait pu être justifiée). Je clos donc l'issue.
DDTM 40