mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-24 23:47:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Fix collaborator avatars being clipped and not centered

Browse source 
Co-authored-by: Nathan Sobo <nathan@zed.dev>
Co-authored-by: Julia Risley <julia@zed.dev>
This commit is contained in:
Max Brunsfeld 2023-03-14 17:59:33 -07:00
parent 828e9c1bb8
commit c4e7611d04
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
styles/src/styleTree/workspace.ts
View file

@ -126,9 +126,9 @@ export default function workspace(colorScheme: ColorScheme) {
titlebar: { titlebar: {
itemSpacing, itemSpacing,
facePileSpacing: 2, facePileSpacing: 2,
height: 33, // 32px + 1px for overlaid border height: 33, // 32px + 1px border. It's important the content area of the titlebar is evenly sized to vertically center avatar images.
background: background(layer), background: background(layer),
border: border(layer, { bottom: true, overlay: true }), border: border(layer, { bottom: true }),
padding: { padding: {
left: 80, left: 80,
right: itemSpacing, right: itemSpacing,
@ -160,8 +160,8 @@ export default function workspace(colorScheme: ColorScheme) {
padding: { padding: {
left: 2, left: 2,
right: 2, right: 2,
top: 4, top: 2,
bottom: 4, bottom: 2,
}, },
cornerRadius: 6, cornerRadius: 6,
}, },