Feature #94
Pouvoir associer un commentaire à chaque élément d'une équivalence
Status: | New | Start date: | 04/08/2013 | |
---|---|---|---|---|
Priority: | Normal | Due date: | 04/08/2013 | |
Assignee: | Severine Gedzelman | % Done: | 100% |
|
Category: | - | |||
Target version: | - | Estimated time: | 2.00 hours |
Description
Modification dans les classes notamment :
- AnnotEquiPane (gui.annot)
- EquivalenceWriter (io.output)
Faut-il associer un vrai éditeur de texte pour l'édition de commentaire (permettre une mise en forme, a priori cela n'a pas de sens, vu que le stockage se fait en xml, à moins de prévoir export en HTML, à voir avec Cécile et Jean-Claude).
Dans tous les cas, mettre un champ plus grand ou mettre plusieurs champs (par exemple, un pour tagger/typer le commentaire ?)