Liste de liens :
Liste de liens :
Aider l'utilisateur à éditer ses sources XML dans TXM puis aider à piloter tout l'écosystème XML : passage TXT ↔ XML, conformité, validation, scripts de vérification de contraintes propres à certains formats (XML-Transcriber - marques de synchronisation…) ou à des encodages courants (numérotation exhaustive ou continue d'éléments - comme les propriétés de mots ou les numéros de page ou les adresses de facsimilés, patterns d'encodages…), scripts d'assistance à l'ajout d'encodages (sauts de page, numérotation automatique…), XSLT, etc. Peut-être aider à manipuler le XML-TXM un jour.
Utiliser un plugin XML existant.
Question importante :
Faut-il intégrer directement ce plugin XML ou alors le proposer parmi les extensions de TXM ?
Réponse
À terme, l'éditeur XML devra être intégré nativement dans TXM à côté de l'éditeur de TXT.
Ils devront se conformer au protocole natif d'Eclipse d'association d'éditeurs aux extensions de fichiers :
Il existe plusieurs éditeurs XML :
Tous ces éditeurs s'appuient sur le système de Workspace et de Project d'Eclipse pour ouvrir leurs éditeurs respectifs. On pourra :
Tableau de comparaison :
Plugin Name XML XMLd DTD CSS COMPLETION XML editor X X X O X XMLEspresso X X X X O Rinzo XML X X O O O
Remarques sur le tableau :
Voir http://wiki.tei-c.org/index.php/Editor_for_teaching_TEI_-_features :
Features idéaux supplémentaires :
Nous avons choisi cet éditeur.
Il a commencé à être diffusé comme extension https://groupes.renater.fr/wiki/txm-users/public/extensions_beta#xmleditor.
La documentation a commencé à être rédigée http://sourceforge.net/projects/txm/files/documentation/Manuel%20editeur%20XML%20de%20TXM.pdf/download.