# GIMP gimp-eraser-tool options (brush "2. Hardness 050") (dynamics "Dynamics Off") (palette "Color History") (brush-size 13) (brush-hardness 0.5) # end of gimp-eraser-tool options