mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-12 10:00:35 +09:00
4aa706cbc5
Micro always saves the undo stack information into the serialized buffer file as long as either `saveundo` or `savecursor` is enabled. Whereas in the case when only `savecursor` is enabled, while `saveundo` is disabled, this information is not used afterwards, so it only wastes the disk space in `~/.config/micro/buffers`. (And given that currently micro never automatically removes any serialized buffer files, it may significantly contribute to the overall ever growing size of the `~/.config/micro/buffers` directory.) So avoid saving the undo info if `saveundo` is disabled. This makes the size of each serialized buffer file with savecursor=on saveundo=off small and predictable, e.g. around 600 bytes in my observations (whereas without this fix, it may grow indefinitely big, depending on the number of modifications the user made before saving the file).