Method delete_line

src/editor/buffer.rs:197–221

(&mut self, line: usize)

    }

    pub fn delete_line(&mut self, line: usize) {
        if line >= self.line_count() {
            return;
        }
        let cursor_before = self.cursor;
        let start = self.document.line_to_char(line);
        let end = if line + 1 < self.line_count() {
            self.document.line_to_char(line + 1)
        } else {
            self.document.len_chars()
        };
        let deleted = self.document.slice_text(start, end);
        self.document.delete_line(line);
        self.cursor.clamp_to_document(&self.document);
        self.selection_anchor = None;

        if !deleted.is_empty() {
            self.push_undo(UndoRecord {
                start,
                inserted: String::new(),
                deleted,
                cursor_before,
            });
        }
    }

    pub fn delete_char_forward(&mut self) {
        if self.delete_selection() {