# GIMP gimp-eraser-tool options (brush "2. Hardness 100") (dynamics "Pressure Size") (palette "Histórico de color") (brush-size 130) # end of gimp-eraser-tool options