diff options
| author | Gokul Soumya | 2022-06-26 08:56:35 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-26 08:56:35 +0000 |
| commit | 16ccc7ead88faf060236cbff72dee52c58e37156 (patch) | |
| tree | 847709437120372754610294ecdac4fb7bc66a74 /runtime/queries/ocaml | |
| parent | ba85779902877340d17f27dce1aeced98abfaeb6 (diff) | |
Add single width left margin for completion popup (#2728)
* Add single width left margin for completion popup
* Clear with ui.menu style before rendering menu
When rendering a completion popup, the popup component will clear
the area with ui.popup and then the menu component would draw over
it using a table component. We remove the left edge of the area
before passing it to the table component (so that it will be left
as padding), and the table component uses ui.menu as the style.
If ui.menu and ui.popup are different the left edge of the popup
will look different from the rest of the popup. We avoid this by
clearing the whole area with ui.menu in Menu::render
Diffstat (limited to 'runtime/queries/ocaml')
0 files changed, 0 insertions, 0 deletions