Struct egui::util::undoer::Undoer [−][src]
pub struct Undoer<State> { /* fields omitted */ }
Expand description
Automatic undo system.
Every frame you feed it the most recent state.
The Undoer
compares it with the latest undo point
and if there is a change it may create a new undo point.
Undoer
follows two simple rules:
- If the state has changed since the latest undo point, but has
remained stable for
stable_time
seconds, an new undo point is created. - If the state does not stabilize within
auto_save_interval
seconds, an undo point is created.
Rule 1) will make sure an undo point is not created until you stop dragging that slider. Rule 2) will make sure that you will get some undo points even if you are constantly changing the state.
Implementations
Do we have an undo point different from the given state?
Return true if the state is currently changing
Add an undo point if, and only if, there has been a change since the latest undo point.
time
: current time in seconds.
Call this as often as you want (e.g. every frame)
and Undoer
will determine if a new undo point should be created.
current_time
: current time in seconds.
Trait Implementations
Auto Trait Implementations
impl<State> RefUnwindSafe for Undoer<State> where
State: RefUnwindSafe,
impl<State> UnwindSafe for Undoer<State> where
State: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more