mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-26 10:40:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Space out tooltip a little bit to ensure it doesn't overlap cursor

Browse source
This commit is contained in:
Antonio Scandurra 2022-06-01 10:08:25 +02:00
parent 238827642a
commit b63d965b46
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
styles/src/styleTree/tooltip.ts
View file

@ -6,6 +6,7 @@ export default function tooltip(theme: Theme) {
background: backgroundColor(theme, 500), background: backgroundColor(theme, 500),
border: border(theme, "primary"), border: border(theme, "primary"),
padding: 6, padding: 6,
margin: { top: 8, left: 8 },
shadow: shadow(theme), shadow: shadow(theme),
cornerRadius: 6, cornerRadius: 6,
...text(theme, "sans", "primary", { size: "xs" }) ...text(theme, "sans", "primary", { size: "xs" })