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.