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
Fri Nov 6 17:00:30 MET 1998