mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-07 15:40:24 +09:00
Set the `fastdirty` option flag to off if you really want accurate reporting on whether the buffer is modified. This is more resource intensive but it can be useful for people who don't mind. Closes #787 Closes #467