diff options
author | scgtrp | 2022-04-13 04:00:17 +0000 |
---|---|---|
committer | GitHub | 2022-04-13 04:00:17 +0000 |
commit | 740f565c80a76ee499a93f2c1ccd6cc8388b7e63 (patch) | |
tree | aa38e6a7efb8e81ece0211ce18e77d3d74dc9d32 | |
parent | 62283fdadb762d77deaba7ff820fbdac0b2d3a3b (diff) |
Document values for editor.cursor-shape (#2094)
These are hinted at in the example config at the top (except `none`), but really should be listed explicitly near the option itself for clarity.
-rw-r--r-- | book/src/configuration.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index 9036b501..dae46176 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -55,6 +55,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`. | Key | Description | Default | | --- | ----------- | ------- | |