And another small fix for persistent undo.
1 file changed