Method redo

src/editor/buffer.rs:317–344

(&mut self)

    }

    pub fn redo(&mut self) -> bool {
        let Some(record) = self.redo_stack.pop_back() else {
            return false;
        };

        let deleted_len = record.deleted.chars().count();
        if deleted_len > 0 {
            self.document
                .remove_char_range(record.start, record.start + deleted_len);
        }
        if !record.inserted.is_empty() {
            self.document.insert_str(record.start, &record.inserted);
        }

        let cursor_after = record.start + record.inserted.chars().count();
        self.cursor = self
            .cursor
            .set_position_from_char(cursor_after, &self.document);
        self.cursor.clamp_to_document(&self.document);
        self.selection_anchor = None;

        self.undo_stack.push_back(record);
        if self.undo_stack.len() > MAX_UNDO {
            self.undo_stack.pop_front();
        }

        true
    }

    fn delete_selection(&mut self) -> bool {
        let cursor_before = self.cursor;