jPicEdt Code

<2013-02-20> mise à jour bannière, suppression des blancs de fin de ligne.

<2013-02-20> Mise à jour bannière.

<2013-02-20> mise à jour bannière, suppression des blancs de fin de ligne.
<2013-02-20> mise à jour bannière.

<2013-02-20> Correction bogue #62 "La possibilité de rajouter du texte libre en début et en fin de fichier fonctionne pour le début mais pas pour la fin de fichier."

<2013-02-17> hyperliage vers la doc API pour la référence jpicedt.ui.util.CommandLineBuilder

<2013-02-17> hyperliage vers la doc API pour la référence jpicedt.ui.util.CommandLineBuilder. Pluse utilisation du fanion @value{JPICEDT_VER} en place et lieu de `1.6'.

Renommage en .ant, et génération du numéro de version par build.xml. Plus quelques embellissements de mise en forme.

<2013-02-17> Ajout cibles tgzmanual et clean-tgzmanual pour fabriquer une archive de tous les manuels, de sorte à faciliter la mise en ligne sur le site jPicEdt.

<2013-02-16> Explicitation import.

<2013-02-16> (BoardEventHandler.propertyChange) Mise à jour de l'état des actions possibles --- pour bug#44 "False content type after preference edit" lorsqu'on change de planche active.