Fix undo/redo history and performance monitor#3

Open

phuetz wants to merge 1 commit intomainfrom

codex/corrige-les-erreurs-dans-undoredomanager-et-performancemonit

Commits on Jul 11, 2025

Fix store integration and runtime errors
phuetz
committed