mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-26 03:59:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Merge pull request #2288 from zed-industries/cut-off-collaborator-avatars

Browse source 
Fix collaborator avatars being clipped and not centered
This commit is contained in:
Nathan Sobo 2023-03-14 19:39:01 -06:00 committed by GitHub
commit 44a2506c40
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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: {
itemSpacing,
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),
border: border(layer, { bottom: true, overlay: true }),
border: border(layer, { bottom: true }),
padding: {
left: 80,
right: itemSpacing,
@ -160,8 +160,8 @@ export default function workspace(colorScheme: ColorScheme) {
padding: {
left: 2,
right: 2,
top: 4,
bottom: 4,
top: 2,
bottom: 2,
},
cornerRadius: 6,
},