next up previous contents index
Next: replace_char Up: Change buffer contents Previous: Change buffer contents

delete_char

  void delete_char();

Removes the current character, does nothing at the end of file or if the buffer is empty. Obviously the buffer number of lines is updated if the current character was newline.



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