jPicEdt Code

<2013-06-18> bogue #69, correction.

<2013-06-18> bogue #69, utilisation d'un BitSet plutôt que d'un booléen pour passer plus de fanions.

<2013-06-18> Ajout selecteur de type de script dans le AdvancedShortcutChooser.

- changed quotation marks into texinfo macros
- changed n-dashes from characters to their TeX presentation

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