# GIMP gimp-heal-tool options (brush "2. Hardness 100") (dynamics "Pressure Size") (pattern "Pine") (palette "Color History") (brush-size 6) (fade-length 0) # end of gimp-heal-tool options