next up previous contents index
Next: write_file Up: Buffers and files Previous: read_file

save_file

  void save_file()

Saves the buffer into the corresponding file in the same way as the Save File menu entry does.



Lionel Fournigault
Fri Nov 6 17:00:30 MET 1998