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