jPicEdt Code

<2013-07-21> (jde-db-option-application-args) Remplacement option -debug en --debug.

<2013-07-21> Explicitation des imports.

<2013-07-21> Mise à jour javadoc.

<2013-07-26> bogue #72, ajout fonction PicVector getL2RVec().

<2013-07-26> Correction partielle du bogue #72.

<2013-07-21> bug #65, utilisation de \framebox et \dashbox quand c'est possible pour formatter les rectangle quand c'est possible.

<2013-07-14> Passage GNU à CeCILL. Mention Tikz, et i18n en Allemand & Russe.

<2013-07-14> Explicitation des imports.

<2013-07-14> Ajout des clefs de préférence pour sauvegarder les dimensions du dialogue d'installation, et mise à jour version de l'installeur.

<2013-07-14> Explicitation des imports. Distinction de ScriptType de la chaîne présentée à l'utilisateur d'une part, et de la valeur de préférence d'autre part. Correction chargement préférence Charset: clef de chargement, et gesion expcetion UnsupportedCharsetException. Pas de sélection de type de script de lancement pour MacOSX, et seulement Bash pour Linux. Ajout lanceur par VBScript.