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
Mon Dec 15 10:53:26 MET 1997