Files
zyedidia.micro/runtime/help
Jöran Karl f7244d09c6 Add reload setting - finalization of #2627 (#2845)
* 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>
2023-10-22 00:18:41 +02:00
..
2021-08-03 00:07:14 -04:00
2023-07-08 14:08:15 -07:00
2023-01-11 21:56:23 -08:00
2023-08-31 17:29:07 +01:00
2021-06-12 23:52:08 -04:00