Struct zng_ext_undo::UndoTransaction
source · pub struct UndoTransaction { /* private fields */ }
Expand description
Represents captured undo actions in an UNDO.transaction
operation.
Implementations§
source§impl UndoTransaction
impl UndoTransaction
sourcepub fn commit(self)
pub fn commit(self)
Push all undo actions captured by the transaction into the current undo scope.
sourcepub fn commit_group(self, info: impl UndoInfo)
pub fn commit_group(self, info: impl UndoInfo)
Push a single action in the current undo scope that undoes/redoes all the captured actions in the transaction.
Note that this will register a group item even if the transaction is empty.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for UndoTransaction
impl !RefUnwindSafe for UndoTransaction
impl Send for UndoTransaction
impl !Sync for UndoTransaction
impl Unpin for UndoTransaction
impl !UnwindSafe for UndoTransaction
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more