diff options
| author | gibbz00 | 2023-01-18 05:18:49 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-18 05:18:49 +0000 |
| commit | deae13f404fadddf16f7c2005af8b383a1d8e362 (patch) | |
| tree | cd9820dbae7ad24651051969be09e484917e8cb6 /book/src | |
| parent | b65f104a3fe1d8bdd0dbf901f7c52576b2b5f1c0 (diff) | |
Primary cursor colors by mode (#5130)
* (theme) feat: mode based primary cursor colors
* docs/themes: mode based primary cursor colors
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 015ec59b..0d0827fd 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -252,10 +252,14 @@ These scopes are used for theming the editor interface. | `ui.background` | | | `ui.background.separator` | Picker separator below input line | | `ui.cursor` | | +| `ui.cursor.normal` | | | `ui.cursor.insert` | | | `ui.cursor.select` | | | `ui.cursor.match` | Matching bracket etc. | | `ui.cursor.primary` | Cursor with primary selection | +| `ui.cursor.primary.normal` | | +| `ui.cursor.primary.insert` | | +| `ui.cursor.primary.select` | | | `ui.gutter` | Gutter | | `ui.gutter.selected` | Gutter for the line the cursor is on | | `ui.linenr` | Line numbers | |