More doc updates

[micro.git] / runtime / help / options.md

diff --git a/runtime/help/options.md b/runtime/help/options.md
index ff675bbdbf1fa4b961cb8b7e5892a84c98b28958..d9ac6e2a9b06760e06286baf1f1ede3f1cdb762a 100644 (file)
--- a/runtime/help/options.md
+++ b/runtime/help/options.md
@@ -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`.