SourceClass Undoer
from egui import Undoerclass Undoer: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:
1) If the state has changed since the latest undo point, but has
remained stable for stable_time seconds, an new undo point is created.
2) 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.
Methods§
Sourcedef add_undo(self, /, state: Any) -> None§
Add an undo point if, and only if, there has been a change since the latest undo point.
@staticmethod
def default() -> Undoer§
Sourcedef feed_state(self, /, time: float, state: Any) -> None§
Call this as often as you want (e.g. every frame)
and Undoer will determine if a new undo point should be created.
Sourcedef has_redo(self, /, state: Any) -> bool§
Sourcedef has_undo(self, /, state: Any) -> bool§
Do we have an undo point different from the given state?
Sourcedef is_in_flux(self, /) -> bool§
Return true if the state is currently changing