anchor.diff:      end;
       close( txt );
       result := true; // TODO error checking
  +    message := filename + ' saved.';
     end;
   
     function editor.save_as( path : string ) : boolean;
  
positive.code:     topline := self.buf.make_cursor;
      position := self.buf.make_cursor;
      filename := '';
    end;
  
  
negative.code:     editor = class
        buf : buf.buffer;
        filename : string;
        message  : string;
        x, y, h, w : integer;
        topline, position : buf.buffer.cursor;
        led : ui.zinput;  // led = Line EDitor
  