From fbce24175333cdf0a3f34abde9a05d2da5b2205a Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Thu, 7 Sep 2023 08:17:12 -0400 Subject: [PATCH] Docs for fakecursor option Fixes #2908 --- runtime/help/options.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/runtime/help/options.md b/runtime/help/options.md index 791d52ff..da3f0bd4 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -129,6 +129,12 @@ Here are the available options: default value: `true` +* `fakecursor`: forces micro to render the cursor using terminal colors rather + than the actual terminal cursor. This is useful when the terminal's cursor is + slow or otherwise unavailable/undesirable to use. + + default value: `false` + * `fastdirty`: this determines what kind of algorithm micro uses to determine if a buffer is modified or not. When `fastdirty` is on, micro just uses a boolean `modified` that is set to `true` as soon as the user makes an edit.