> Another option is painting on a layer mask - it is like the eraser tool,
> but much more convenient to rework and correct.
Good suggestion. Though I just found out about a new eraser tool feature
by accident, so I thought I'd share.
If you erase (with the eraser tool) an area and want it back, you can
press Alt while "Erasing" to restore the original pixels.
Gimp-user mailing list