Outils pour utilisateurs

Outils du site


public:specs_editeur_xml

Ceci est une ancienne révision du document !


Editeur XML

Objectif

Aider l'utilisateur à éditer ses sources XML dans TXM

Méthode

Utiliser un plugin XML existant.

Question importante :

Faut-il intégrer directement ce plugin XML ou alors le proposer parmi les extensions de TXM ?

État de la plateforme

Avancement dans l'élaboration de la solution

Solution

État de l'art

Il existe plusieurs éditeurs XML :

  • XMLEspresso (Market Eclipse)
  • Rinzo XML Editor (Market Eclipse)
  • XML editor (Natif Eclipse RCP)

Tous ces éditeurs s'appuient sur le système de Workspace et de Project d'Eclipse pour ouvrir leurs éditeurs respectifs. On pourra :

  • Soit ajouter une nouvelle commande pour ouvrir un fichier XML = créer une extension qui installe un plugin XML et ajoute une nouvelle entrée dans le menu Fichier
  • Soit modifier l'actuelle commande “Ouvrir…” de TXM pour ouvrir le bon éditeur de fichier (TXT ou XML ou WEB) (Il faut aussi prévoir un moyen de choisir l'association extension-editeur)
  • Soit utiliser le système de Workspace et de Project d'Eclipse pour la gestion des fichiers = remplacer la vue actuelle “Fichier” et changer le “default workspace location”
Plugin Name	XML	XMLd	DTD	CSS	COMPLETION
XML Eclipse	X	X	X	O	X
XMLEspresso	X	X	X	X	O
Rinzo XML	X	X	O	O	O

Prototypes

Version finale

Documentation

Utilisateur

Développeur

Recette

Protocole de test

Alpha

Beta

État courant

Qui Quand Quoi

public/specs_editeur_xml.1421743404.txt.gz · Dernière modification: 2015/01/20 09:43 par slh@ens-lyon.fr