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 /runtime/queries/lean | |
| 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 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions