diff options
author | Michael Davis | 2022-04-20 18:04:17 +0000 |
---|---|---|
committer | GitHub | 2022-04-20 18:04:17 +0000 |
commit | 6de2e7634fc0badd2b8cfdee4e5f0639684138f0 (patch) | |
tree | 4fb47aeb7f011d6c0d912755951ea297747e2da5 /book/src/themes.md | |
parent | 4144c9d2f2e712475d0ee54d029653f2c7dffff5 (diff) |
Document `ui.virtual.ruler` scope in theme docs (#2199)
From the rulers feature (#2060)
Diffstat (limited to 'book/src/themes.md')
-rw-r--r-- | book/src/themes.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 9009e2ca..91ca18b1 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -224,6 +224,7 @@ These scopes are used for theming the editor interface. | `ui.text` | Command prompts, popup text, etc. | | `ui.text.focus` | | | `ui.text.info` | The key: command text in `ui.popup.info` boxes | +| `ui.virtual.ruler` | Ruler columns (see the [`editor.rulers` config][rulers-config])| | `ui.virtual.whitespace` | Visible white-space characters | | `ui.menu` | Code and command completion menus | | `ui.menu.selected` | Selected autocomplete item | @@ -234,3 +235,5 @@ These scopes are used for theming the editor interface. | `info` | Diagnostics info (gutter) | | `hint` | Diagnostics hint (gutter) | | `diagnostic` | For text in editing area | + +[rulers-config]: ./configuration.md#editor-section |