jPicEdt Code

<2013-06-18> Utilisation des extension de ScriptType pour le chmod.

<2013-06-18> Ne pas utiliser d'extension à null pour les ScriptType.

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