jPicEdt Code

Tolérance à préambule utilisateur pour jpe-to-latex.

* lisp/lisp/jpicedt.el (jpe-max-user-preamble-size): nouveau defcustom.

* lisp/lisp/jpicedt.el (jpe-get-format): Accepte le numéro de révision dans l'en-tête.
(jpe-to-xml, jpe-to-jpic): Accepte le numéro de révision dans l'en-tête.
(jpe-to-latex): Accepte le numéro de révision dans l'en-tête. Accepte le préambule utilisateur.

Renommage transistor_MOS.pic en transistor_mos.pic pour supprimer le pb de doublon.

Résumé: Correction de l'anomalie https://sourceforge.net/p/jpicedt/bugs/86/

* jpicedt/jpicedt/format/output/latex/PicParallelogramFormatter.java
(format): Utilisation de la tolérance
MathConstants.DOUBLE_ABSOLUTE_TOLERANCE dans les cas où BL à
droite de BR, ou au dessus de TL. Traitement du cas où BL est
bien en bas à droite, et TR en haut à gauche, mais BR & TL sont en
positions interverties.

* jpicedt/jpicedt/graphic/model/PicParallelogram.java
(updateParalleloBasis): Ajout d'une tolérance
MathConstants.DOUBLE_ABSOLUTE_TOLERANCE sur l2rVec.det( ).
(isXYRectangle, isXYorYXRectangle): Ajout tolérance
MathConstants.DOUBLE_ABSOLUTE_TOLERANCE.

Résumé: M-à-j. javadoc.

Résumé: Ajout zener.pic.

* jpicedt/jpicedt/jpicedt/widgets/PEInternalDialog.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/widgets/MotifLAFCellRenderer.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/widgets/DecimalNumberField.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/util/math/Complex.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/ui/util/RunExternalCommand.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/ui/util/CommandLineBuilder.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/jpicedt_env/widgets/WholeNumberField.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/toolkit/SelectionTool.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/toolkit/PopupMenuFactory.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/util/package.html (Paquetage jpicedt.graphic.util): Correction javadoc.

* jpicedt/jpicedt/jpicedt/util/math/package.html (Paquetage jpicedt.util.math): Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/toolkit/PEToolBar.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/model/PicAttributeName.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/graphic/model/Element.java (Element): Correction javadoc.

* jpicedt/jpicedt/jpicedt/format/output/latex/PicEllipseFormatter.java (AbstractFormatter): Correction javadoc.

* add-ons/fragments/electricity/zener.pic: Nouveau fichier.

* jpicedt/jpicedt/jpicedt/widgets/PEInternalDialog.java: Correction javadoc.

* jpicedt/jpicedt/jpicedt/widgets/MotifLAFCellRenderer.java: Correction javadoc.

Résumé: Prise en charge réglage icône d'application par la ligne de commande, sans effet de bord sur les préférences utilisateur.

* jpicedt/jpicedt/JPicEdt.java (JPicEdt.main): Ajout d'une
instance CLiArgSetAppIconAction à la liste actionsOnStartup sur
l'option --icon.
(JPicEdt.initPreferences): Initialisation de l'identifiant d'icône
d'application à partir des préférences utilisateur.
(JPicEdt.setAppIcon, JPicEdt.getAppIcon): Nouvelles fonctions.
(JPicEdt.CLiArgSetAppIconAction): Nouvelle classe d'action à
effectuer sur une option de ligne de commande.

* jpicedt/jpicedt/graphic/PEToolKit.java (PEToolKit): Lit l'icône
d'application avec JPicEdt.getAppIcon() et non plus dans les
préférences utilisateur pour pouvoir surcharger les préférences
utilisateur par la ligne de commande.

Résumé: Prise en charge configuration de l'icone d'application à partir de la ligne de commande.

* jpicedt/jpicedt/JPicEdt.java (JPicEdt.usage): Nouvelle fonction,
appelée dans main pour l'aide brève de
l'interface en ligne de commande.
(JPicEdt.setProperty): Nouvelle fonction.
(JPicEdt.CommandLineArgumentAction): Nouvelle interface pour les
actions à effectuer pour chaque argument de ligne de commande.
(JPicEdt.CLiArgSetPreferenceAction): Action issue d'un argument de
ligne de commande consistant à affecter les préférences
utilisateur.
(JPicEdt.CLiArgOpenBoardAction): Action issue d'un argument de
ligne de commande consistant à ouvrir un fichier image.

* jpicedt/jpicedt/graphic/PEToolKit.java
(PEToolKit.setAppIconToDefault): Lit l'icone d'application à
partir des préférences utilisateur.

* jpicedt/jpicedt/jpicedt_env/EnvConstants.java
(EnvConstants.APP_ICON_KEY, EnvConstants.isValidAppIconId):
Nouveaux membres.

Résumé: Décrit comment trouver ${ant.home}.

Résumé: javadocs.

* jpicedt/jpicedt/Version.java.ant (Version): javadocs.

* jpicedt/jpicedt/graphic/model/Element.java (Element): javadocs.

* jpicedt/jpicedt/graphic/toolkit/ActionFactory.java (ActionFactory): javadocs.

Résumé: coquille.