next up previous contents index
Next: insert_file Up: Buffers and files Previous: save_file

write_file

  void write_file(char * newfilename)

Saves the buffer into the file corresponding to newfilename like the Write File menu entry does.



Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997