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

kill_current_buffer

   void kill_current_buffer()

Empties the current buffer. If it has not already been saved, its contents is lost.



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