Renamed UserDefinedHatchColor.gif to UserDefinedHatchColor.png
Authored by: vincentb1 2010-04-20
Parent: [r723]
Child: [r725]