jPicEdt Code

<2010-06-04> (HistoryTextField::HistoryTextField) Correction javadoc
(HistoryTextField::HistoryTextField): Correction javadoc

<2010-06-04> Correction javadoc for @author not allowed in method doc

<2010-06-04> Correction javadoc for @author not allowed in method doc

<2010-06-04> Correction javadoc for @author not allowed in method doc + dos2unix

<2010-06-04> (TikzUtilities::createParameterString) Add arrow style encoding.

<2010-06-05> correct progress bar ressource file name to reflect conversion of all images to PNG file format.

<2010-06-05> Ajout class ToggleConvexeZonePanelAction (en cours...)

<2010-06-05> **Ajout** Ajout palette d'outils de manipulation de zone convexe.

<2010-06-05> **Ajout** fabrique des outils de manipulation de zones convexes.

<2010-06-05> Correction commentaire