jPicEdt Code

<2013-06-18> (OperatingSystem) Introduction de la sélection du type de raccourci (script)

<2013-06-18> bogue #69, Ajout EMPTY_BITSET, et autres BitSet à passer à la méthode draw de la fabrique;

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

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