Add a scrollbar in popovers

zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

https://zed.dev

Other

49.44k stars 3.01k forks source link

Add a scrollbar in popovers #5034

Open TENX-S opened 1 year ago

TENX-S commented 1 year ago

Check for existing issues

[X] Completed

Describe the feature

If applicable, add mockups / screenshots to help present your vision of the feature

Example from idea, VS Code:

osiewicz commented 1 day ago

I added support for info popovers in #20184; I wonder if we need it for diagnostics as well, seeing as they shouldn't be nearly as long as info popovers.