diff options
author | Gokul Soumya | 2022-06-27 07:52:31 +0000 |
---|---|---|
committer | GitHub | 2022-06-27 07:52:31 +0000 |
commit | a26943de4e421a453371aa53b3bb11a2baabff56 (patch) | |
tree | e17f58ac752442222943e3ffa24a197f8fd6697d /book/src | |
parent | c113531db9f9dbe522adea584b4c18083af578e7 (diff) |
Right align scrollbar with track in completion popup (#2754)
- Align the scollbar to the right edge of the popup rather than at
a margin of one.
- Add a scrollbar track and a new scope `ui.menu.scroll`.
Diffstat (limited to 'book/src')
-rw-r--r-- | book/src/themes.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 57a8d5d1..ea52835d 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -231,6 +231,7 @@ These scopes are used for theming the editor interface. | `ui.virtual.indent-guide` | Vertical indent width guides | | `ui.menu` | Code and command completion menus | | `ui.menu.selected` | Selected autocomplete item | +| `ui.menu.scroll` | `fg` sets thumb color, `bg` sets track color of scrollbar | | `ui.selection` | For selections in the editing area | | `ui.selection.primary` | | | `warning` | Diagnostics warning (gutter) | |