diff options
| author | Michael Davis | 2022-06-28 03:25:09 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-28 03:25:09 +0000 |
| commit | 64de0b7288036c5ad759e6ce2dfdef9d40d267ad (patch) | |
| tree | 2263f01e63a52c5d2db5bf22ff78f3dcb199d4ec | |
| parent | 64cf4c859b67c98042e2d66f26be0ce4a7afc6e0 (diff) | |
add docs for cursorline scopes (#2904)
| -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 ea52835d..6c6393de 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -234,6 +234,8 @@ These scopes are used for theming the editor interface. | `ui.menu.scroll` | `fg` sets thumb color, `bg` sets track color of scrollbar | | `ui.selection` | For selections in the editing area | | `ui.selection.primary` | | +| `ui.cursorline.primary` | The line of the primary cursor | +| `ui.cursorline.secondary` | The lines of any other cursors | | `warning` | Diagnostics warning (gutter) | | `error` | Diagnostics error (gutter) | | `info` | Diagnostics info (gutter) | |