From 589d17c7583716b339875b72972aaffe0ae5efc1 Mon Sep 17 00:00:00 2001
From: ChrHorn
Date: Mon, 3 Oct 2022 16:44:45 +0200
Subject: Add `ui.gutter.selected` option for themes (#3303)

* add `ui.gutter.selected`

* add `ui.gutter`, `ui.gutter.selected` to docs---
 book/src/themes.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'book')

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                                     |
-- 
cgit v1.2.3-70-g09d2