jPicEdt Code

<2011-07-24> (ShowErrorLogAction::actionPerformed) remplacer toURL() par toURI().toURL() pour supprimer l'avertissement.

<2011-07-24> correction des méthodes de calcul de la vue du contour de zone convexe, notamment par rapport au placement des pointillés pour les zone d'étendue infinie coupant le bord du PECanvas.

<2011-07-24> Cloner des points d'origine des demi-plans de sorte à ne pas affecter les zones convexes définies à la suite avec le même outil.

<2011-07-24> (PEDrawingBoard) Mise à jour javadoc.

Renommage Palette en Panel pour être cohérent avec les autres noms d'icônes

<2011-07-23> (DefaultConvexZoneSelectionHandler::paint) Ajout méthode.

<2011-07-23> (EditorKit::paint) Peindre la mise en vedette des zones convexe. Remplacer SelectTool par les classes dérivées --- SelectTool étant devenue abstraite.

<2011-07-23> (ConvexZoneHalfPlaneView::paint) Preindre la mise en vedette est maintenant fait par la méthode paintHighlighter.
(ConvexZoneHalfPlaneView::paintHighlighter): nouvelle méthode.

<2011-07-23> Changement de la banière de licence en CeCiLL.

<2011-07-23> Changement de la bannière de licence en CeCiLL.