jPicEdt Code

<2013-07-07> Chargement des valeurs dans le ChooseDirectory au moment du madeVisible, et non au moment de la construction. Lancement de os.startSystemEnquiry() en validatePageDate du panneau ConfigureJava. Utilisation de ShortcutDirectoryInfo.store pour passer stocker préférences de raccourci de lancement.
<2013-06-23> Ajout le cas où read renvoie -1 parce qu'on est au bout du flux.

<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