! Page 49 ! Delete current character procedure eve_erase_character local this_position; ! Marker for current cursor position this_position := mark (none); if this_position = end_of (current_buffer) then return; else if current_character = eve$x_null then move_horizontal (1); if mark (none) = end_of (current_buffer) then move_horizontal (-1); else eve$append_line; endif; else if get_info (current_buffer, "mode") = overstrike then copy_text (" "); else eve$saved_char := erase_character (1); endif; endif; endif; endprocedure;