mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-07 15:40:24 +09:00
* Add reload setting Can be set to: * auto - Automatically reload files that changed * disabled - Do not reload files * prompt - Prompt the user about reloading the file. * option: Add default value for reload option and documentation --------- Co-authored-by: Wilberto Morales <wilbertomorales777@gmail.com>