jPicEdt Code

<2013-08-09> Initialisation des sous-répertoires d'installation et de raccourci de lancement lorsque la coche le demande au chargement du dialogue ChooseDirectory.

<2013-08-19> Prise en compte du poids de progression de la création des scripts de lancement.

<2013-08-19> Prise en compte du poids de progression de la création des scripts de lancement.
<2013-08-09> (OperatingSystem.isAsDirName) nouvelle méthode.

<2013-08-19> Utilisation pour chaque de headitem dans la table de description des ménus. Utilisation des fanions i18n pour la description du menu fenêtres. Utilisation plus large d'@acronym.

<2013-08-19> Utilisation pour chaque de headitem dans la table de description des ménus. Utilisation des fanions i18n pour la description du menu fenêtres. Descriptionn de l'article @value{i18n-action-ui-ToggleConvexZonePanel} du menu fenêtre. Utilisation plus large d'@acronym.

<2013-08-19> Coquille.

<2013-08-19> (PicAttributeSet._setAttributeUnchecked) Optimisation, évite le double appel à getResolveParent()._getAttributeUnchecked.

<2013-08-19> (jp2texif_encode) Correction texification des blancs de début et de fin pour les rendre explicites.

<2013-08-05> **Ajout**

<2013-08-05> Ajout siunitx