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

More doc updates

Browse Source
This commit is contained in:
Zachary Yedidia
2020-01-06 00:01:49 -05:00
parent f2a1e2337f
commit f3e8413e77
2 changed files with 78 additions and 88 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
runtime/help/options.md
View File

@@ -276,7 +276,8 @@ machine, simply copy the settings.json to the other machine.
You can set these settings either globally or locally. Locally means that the
setting won't be saved to `~/.config/micro/settings.json` and that it will only
be set in the current buffer. Setting an option globally is the default, and
will set the option in all buffers.
will set the option in all buffers. Use the `setlocal` command to set an option
locally rather than globally.
The `colorscheme` option is global only, and the `filetype` option is local
only. To set an option locally, use `setlocal` instead of `set`.