diff options
| author | ChrHorn | 2022-10-03 14:44:45 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-03 14:44:45 +0000 |
| commit | 589d17c7583716b339875b72972aaffe0ae5efc1 (patch) | |
| tree | 4351301a2de7cc146cdb041e31ff643982d4e4a4 /book | |
| parent | 6939dd3adb4ccd89ce63e69d9b0586a377a4df42 (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.md | 2 |
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 | |