Files
zyedidia.micro/internal
Zachary Yedidia 6514b77e0d Enable autosave option
The autosave option is now specified as an integer, which denotes
the number of seconds to wait between saving the file. If the option
is 0, then autosaving is disabled. If the option is given by the user
as a boolean, it will be converted to 8 if true, and 0 if false.

Fixes #1479
2020-02-08 16:53:08 -05:00
..
2020-02-08 16:53:08 -05:00
2020-02-08 16:53:08 -05:00
2020-02-08 16:53:08 -05:00
2020-01-30 17:51:04 -05:00