jPicEdt Code

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

<2013-06-09> Correction typo.

<2013-06-09> Prise en compte sous-paquetage dans la compilation de jpicedt_env.jar.

<2013-06-09> problème d'encodage javadocs.