jPicEdt Code

Renamed attributes.PolydotsDisk.gif to attributes.PolydotsDisk.png

Renamed attributes.PolydotsCircle.gif to attributes.PolydotsCircle.png

Renamed attributes.LineWidth.gif to attributes.LineWidth.png

Renamed attributes.LineStyleSolid.gif to attributes.LineStyleSolid.png

Renamed attributes.LineStyleNone.gif to attributes.LineStyleNone.png

Renamed attributes.LineStyleDotted.gif to attributes.LineStyleDotted.png

Renamed attributes.LineStyleDashed.gif to attributes.LineStyleDashed.png

Renamed attributes.LineOverstrikeWidth.gif to attributes.LineOverstrikeWidth.png

Renamed attributes.LineDotSep.gif to attributes.LineDotSep.png

Renamed attributes.LineDashOpaque.gif to attributes.LineDashOpaque.png