aboutsummaryrefslogtreecommitdiff
path: root/book
diff options
context:
space:
mode:
authorChrHorn2022-10-03 14:44:45 +0000
committerGitHub2022-10-03 14:44:45 +0000
commit589d17c7583716b339875b72972aaffe0ae5efc1 (patch)
tree4351301a2de7cc146cdb041e31ff643982d4e4a4 /book
parent6939dd3adb4ccd89ce63e69d9b0586a377a4df42 (diff)
Add `ui.gutter.selected` option for themes (#3303)
* add `ui.gutter.selected` * add `ui.gutter`, `ui.gutter.selected` to docs
Diffstat (limited to 'book')
-rw-r--r--book/src/themes.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md
index 9908456f..b92b6d7b 100644
--- a/book/src/themes.md
+++ b/book/src/themes.md
@@ -219,6 +219,8 @@ These scopes are used for theming the editor interface.
| `ui.cursor.select` | |
| `ui.cursor.match` | Matching bracket etc. |
| `ui.cursor.primary` | Cursor with primary selection |
+| `ui.gutter` | Gutter |
+| `ui.gutter.selected` | Gutter for the line the cursor is on |
| `ui.linenr` | Line numbers |
| `ui.linenr.selected` | Line number for the line the cursor is on |
| `ui.statusline` | Statusline |