Skip to content

Commit

Permalink
add ui.gutter, ui.gutter.selected to docs
Browse files Browse the repository at this point in the history
  • Loading branch information
ChrHorn committed Aug 2, 2022
1 parent 4eb8539 commit 6963ebe
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions book/src/themes.md
Original file line number Diff line number Diff line change
Expand Up @@ -217,6 +217,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 |
Expand Down

0 comments on commit 6963ebe

Please sign in to comment.