fix: close undo ledger holes for axis deletes and glyph renames#121

Merged

kostyafarber merged 3 commits into

mainfrom

fix/undo-ledger-holes

Jul 2, 2026

Commits on Jul 2, 2026

fix: record undo steps for axis deletes and glyph renames
kostyafarber
committed
fix: hand ledger entries back when undo or redo replay fails
kostyafarber
committed
test: cover undo and redo for every workspace intent kind
kostyafarber
committed