Chagall Reference   Restorer             12.5.93
================================================

   The 'Restorer' has no colour of its own but
   replaces pixels with corresponding pixels
   from the Undo-buffer.

   It has a sharp edge and can assume any of the
   selectable tool shapes.
