Enum UndoableOperation 

pub enum UndoableOperation {
    InsertCell {
        cell_name: String,
        after_cell_name: Option<String>,
    },
    DeleteCell {
        cell_name: String,
        source: String,
        after_cell_name: Option<String>,
    },
    DuplicateCell {
        original_cell_name: String,
        new_cell_name: String,
    },
    MoveCell {
        cell_name: String,
        direction: MoveDirection,
    },
    RenameCell {
        cell_name: String,
        old_display_name: String,
        new_display_name: String,
    },
    EditCell {
        cell_id: CellId,
        start_line: usize,
        end_line: usize,
        old_source: String,
        new_source: String,
    },
    InsertMarkdownCell {
        start_line: usize,
        end_line: usize,
        content: String,
    },
    EditMarkdownCell {
        start_line: usize,
        end_line: usize,
        old_content: String,
        new_content: String,
        is_module_doc: bool,
    },
    DeleteMarkdownCell {
        start_line: usize,
        content: String,
    },
    MoveMarkdownCell {
        start_line: usize,
        end_line: usize,
        direction: MoveDirection,
    },
    InsertDefinitionCell {
        start_line: usize,
        end_line: usize,
        content: String,
        definition_type: DefinitionType,
    },
    EditDefinitionCell {
        cell_id: CellId,
        start_line: usize,
        end_line: usize,
        old_content: String,
        new_content: String,
    },
    DeleteDefinitionCell {
        start_line: usize,
        end_line: usize,
        content: String,
        definition_type: DefinitionType,
    },
    MoveDefinitionCell {
        start_line: usize,
        end_line: usize,
        direction: MoveDirection,
    },
}

An undoable operation on the notebook.

Variants

InsertCell

A cell was inserted. Undo = delete this cell.

Fields

cell_name: String

Name of the inserted cell.

after_cell_name: Option<String>

Name of the cell after which this was inserted (for redo). None if inserted at the beginning.

DeleteCell

A cell was deleted. Undo = restore it.

Fields

cell_name: String

Name of the deleted cell.

source: String

Full source code of the cell (including doc comments and attributes).

after_cell_name: Option<String>

Name of the cell before this one (for position restoration). None if this was the first cell.

DuplicateCell

A cell was duplicated. Undo = delete the new cell.

Fields

original_cell_name: String

Name of the original cell.

new_cell_name: String

Name of the new duplicated cell.

MoveCell

A cell was moved. Undo = move in opposite direction.

Fields

cell_name: String

Name of the moved cell.

direction: MoveDirection

Original direction (undo reverses it).

RenameCell

A cell’s display name was renamed. Undo = restore old name.

Fields

cell_name: String

Name of the cell (function name).

old_display_name: String

Old display name (for undo).

new_display_name: String

New display name.

EditCell

A code cell was edited. Undo = restore old source.

Fields

cell_id: CellId

Cell ID that was edited.

start_line: usize

Start line of the cell.

end_line: usize

End line of the cell.

old_source: String

Old source code (for undo).

new_source: String

New source code.

InsertMarkdownCell

A markdown cell was inserted. Undo = delete it.

Fields

start_line: usize

Start line of the inserted markdown cell.

end_line: usize

End line of the inserted markdown cell.

content: String

Content of the inserted cell (for redo).

EditMarkdownCell

A markdown cell was edited. Undo = restore old content.

Fields

start_line: usize

Start line of the markdown cell.

end_line: usize

End line of the markdown cell.

old_content: String

Old content (for undo).

new_content: String

New content.

is_module_doc: bool

Whether this is a module-level doc comment (//! vs ///).

DeleteMarkdownCell

A markdown cell was deleted. Undo = restore it.

Fields

start_line: usize

Start line where the cell was located.

content: String

Content of the deleted cell.

MoveMarkdownCell

A markdown cell was moved. Undo = move in opposite direction.

Fields

start_line: usize

Start line of the moved cell.

end_line: usize

End line of the moved cell.

direction: MoveDirection

Direction it was moved.

InsertDefinitionCell

A definition cell was inserted. Undo = delete it.

Fields

start_line: usize

Start line of the inserted definition cell.

end_line: usize

End line of the inserted definition cell.

content: String

Content of the inserted cell (for redo).

definition_type: DefinitionType

Type of definition.

EditDefinitionCell

A definition cell was edited. Undo = restore old content.

Fields

cell_id: CellId

Cell ID that was edited.

start_line: usize

Start line of the definition cell.

end_line: usize

End line of the definition cell.

old_content: String

Old content (for undo).

new_content: String

New content.

DeleteDefinitionCell

A definition cell was deleted. Undo = restore it.

Fields

start_line: usize

Start line of the deleted definition cell.

end_line: usize

End line of the deleted definition cell.

content: String

Content of the deleted cell (for undo).

definition_type: DefinitionType

Type of definition.

MoveDefinitionCell

A definition cell was moved. Undo = move in opposite direction.

Fields

start_line: usize

Start line of the moved cell.

end_line: usize

End line of the moved cell.

direction: MoveDirection

Direction it was moved.

Implementations

impl UndoableOperation

pub fn description(&self) -> String

Get a human-readable description of this operation.

pub fn undo_description(&self) -> String

Get the reverse operation (what undo would do).

Trait Implementations

impl Clone for UndoableOperation

fn clone(&self) -> UndoableOperation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UndoableOperation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.