Put rounded corners around autocomplete and give it some padding

This commit is contained in:
Antonio Scandurra 2022-02-03 15:48:00 +01:00
parent d56e721fab
commit 71ef052c06

View file

@ -316,10 +316,15 @@ message.highlight_text.color = "$text.3.color"
[editor.autocomplete]
background = "$surface.2"
border = { width = 1, color = "$border.1" }
item.padding = 2
border = { width = 2, color = "$border.1" }
corner_radius = 6
padding = 6
match_highlight = { color = "$editor.syntax.keyword.color", weight = "$editor.syntax.keyword.weight" }
[editor.autocomplete.item]
padding = { left = 6, right = 6, top = 2, bottom = 2 }
corner_radius = 6
[editor.autocomplete.selected_item]
extends = "$editor.autocomplete.item"
background = "$state.selected"