jPicEdt Code

<2013-06-16> Suppression virgule inutile.

<2013-06-16> (PicEllipseFormatter.format) correction bogue 69.

<2013-06-15> (FileFilter.getExtension) Optimisation du code bogue 68, pour le traitement spécial des extensions en `jpe.xxx'

<2013-06-15> Ajout documentation des préférences pour PSTricks & TikZ.

<2013-06-14> (FileFilter.getExtension) bogue 68, traitement spécial des extensions en `jpe.xxx'. Mise à jour en-tête.

<2013-06-14> Correction javadoc et mise à jour en-tête.

<2013-06-14> Ajout de la coche isConsoleVisible dans le AdvancedShortcutChooser. Renommage SHORTCUT -> SHC dans les InstallConstants pour faire court.

<2013-06-14> Lecture Charset et isConsoleVisible à partir des propriétés sauvegardées vers les ShortcutDirectoryInfo. Renommage SHORTCUT -> SHC dans les InstallConstants pour faire court.

<2013-06-14> Renommage SHORTCUT -> SHC dans les InstallConstants pour faire court. Définition des valeurs par défaut dans leur type naturel, plutôt que comme String.

bogue #67, <2013-06-13> **Ajout**