jPicEdt Code

<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.

<2013-02-16> Rend l'échappement des double-quote dans les attribute "value" des balise "arg" conditionnel de ce que la plateforme de construction est "DOS".

<2013-02-15> (JPicEdt.ContentTypeAction) Accéder au canvas de la planche courant board par board.getCanvas(), et non par JPicEdt.getCanvas(), de sorte à assurer que la planche et la toile se corresponde --- JPicEdt.getCanvas() est la toile recevant les évennements, il se peut qu'il y a des sections de temps courte pendant lesquelle ce ne soit pas encore/ne soit plus la même chose que la toile de la planche courante. Mettre isDirty à true pour la planche courante.

Non utilisé dans l'aide, et présent par ailleurs sous jpicedt/jpicedt/jpicedt/images

<2013-02-11> Ajout d'un message d'avertissement sur le fait que la fonction "zones convexes" est encore en cours de développement