github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-25 18:07:07 +09:00
Code Issues Packages Projects Releases Wiki Activity

Add reload setting - finalization of #2627 (#2845)

Browse Source 
* 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>
This commit is contained in:
Jöran Karl
2023-10-22 00:18:41 +02:00
committed by GitHub
parent 9da6af91c8
commit f7244d09c6
3 changed files with 47 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
runtime/help/options.md
View File

@@ -281,6 +281,11 @@ Here are the available options:
default value: `false`
* `reload`: controls the reload behavior of the current buffer in case the file
has changed. The available options are `prompt`, `auto` & `disabled`.
default value: `prompt`
* `rmtrailingws`: micro will automatically trim trailing whitespaces at ends of
lines. Note: This setting overrides `keepautoindent`