jPicEdt Code

<2013-04-13> Correction javadoc

<2013-04-13> mise à jour bannière.

<2013-04-13> Mis à jour droit d'auteur.

<2013-04-13> Correction javadoc. Supression blancs fin de ligne.

<2013-04-13> **Ajout**

* jpicedt.el (jpe-de-xml-ize-region, jpe-xml-ize-region): échappe
le cas d'un texte contenant `%</text>'
(jpe-to-latex): Ne détruit pas ce qui se trouve après `%%User Data'.
(jpe-to-latex): Relit les variables de fichier, et fait de
jpe-current-format une variable locale à ce tampon, plutôt qu'une
variable local en tout tampon.

Ajout jpicedt.el

<2013-04-07> **Ajout**

<2013-04-07> Ajout d'un encodeur BMP cousu main --- javax.imageio ne semble pas traiter convenablement les canaux alpha.

<2013-04-07> Ajout installOptions & dans le cas Unix ne détruire/renommer le script de lancement que s'il existe déjà.