Skip to content

Comments

serialize: Don't save undo stack if saveundo=off#4003

Merged
JoeKar merged 1 commit intomicro-editor:masterfrom
dmaluka:saveundo-off-optimize-space
Feb 10, 2026
Merged

serialize: Don't save undo stack if saveundo=off#4003
JoeKar merged 1 commit intomicro-editor:masterfrom
dmaluka:saveundo-off-optimize-space

Commits

Commits on Feb 8, 2026