Outils pour utilisateurs

Outils du site


Panneau latéral

public:specs_editeur_xml

Ceci est une ancienne révision du document !


Editeur XML

Objectif

Aider l'utilisateur à préparer ses sources XML dans TXM

Méthode

Produire ou utiliser un plugin XML qui pourra être proposé parmis les extensions de TXM (ou directement dans 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	XML design	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.1399901524.txt.gz · Dernière modification: 2014/05/12 15:32 (modification externe)