diff options
author | Alex Kim | 2022-07-15 14:51:34 +0000 |
---|---|---|
committer | GitHub | 2022-07-15 14:51:34 +0000 |
commit | bcacc703d737300e3e315b0b8a4716cdf306da87 (patch) | |
tree | 649341a01da904d88251f69a4573e8ac73727206 | |
parent | 333ab278374863296ebef5154340f33482e13edb (diff) |
fix wrong value for cursor shape config in the docs (#3081)
-rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index 1cc8602a..0a6e5fdd 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -60,7 +60,7 @@ hidden = false Defines the shape of cursor in each mode. Note that due to limitations of the terminal environment, only the primary cursor can change shape. -Valid values for these options are `block`, `bar`, `underline`, or `none`. +Valid values for these options are `block`, `bar`, `underline`, or `hidden`. | Key | Description | Default | | --- | ----------- | ------- | |