jPicEdt Code

<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

<2013-02-11> Ajout macro warningMessage

- a lot of typographical refinements
- corrected referencing
- corrected several typos
- first steps towards a rewriting of chapter 2 according to the current french version

- added description of {u}
- some small changes of contents

<2013-02-10> Ajout de {u} parmi les clefs utilisable pour les commandes externes.