Method do_eof_or_delete

std/src/console/readline.rs:240–246

Treats EOF as delete while text exists, or reports end-of-input otherwise.

(&mut self)

    /// Treats EOF as delete while text exists, or reports end-of-input otherwise.
    fn do_eof_or_delete(&mut self) -> io::Result<DispatchResult> {
        if self.line.is_empty() {
            Err(io::Error::new(io::ErrorKind::UnexpectedEof, "EOF"))
        } else {
            self.do_delete()
        }
    }

    /// Moves the cursor to the start of the line.
    fn do_home(&mut self) -> io::Result<DispatchResult> {