UndoHistory builder
A history list that reports jump intents and changes no document state.
A builder is RenderOnce. Construct and mount it in one expression.
use gpui_kit::navigation::UndoHistory;
Construct
new(ident: impl Into<Ident>, label: impl Into<SharedString>) -> SelfOptions
Chain onto the value.
entry(entry: HistoryEntry) -> Self
entries(entries: impl IntoIterator<Item = HistoryEntry>) -> Self
current(id: impl Into<SharedString>) -> Self
on_jump(handler: impl Fn(SharedString, &mut Window, &mut App) + 'static) -> SelfRendered by
Each of these compiles and is captured by the gate, so the code behind them is verified rather than written.