mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-27 19:02:07 +00:00
Avoid overlapping the scrollbar
This commit is contained in:
parent
9ffe220def
commit
273b9e1636
1 changed files with 1 additions and 1 deletions
|
@ -47,7 +47,7 @@ export default function assistant(): any {
|
|||
{
|
||||
...text(theme.highest, "mono", color, { size: "xs" }),
|
||||
background: background(theme.highest, "on", "default"),
|
||||
margin: { top: 12, right: 8 },
|
||||
margin: { top: 12, right: 20 },
|
||||
padding: { right: 4, left: 4, top: 1, bottom: 1 },
|
||||
corner_radius: 6,
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue