From 03d5eebf087bda230d5102c07419334297f744da Mon Sep 17 00:00:00 2001 From: Nathan Sobo Date: Tue, 14 Mar 2023 19:39:01 -0600 Subject: [PATCH] Merge pull request #2288 from zed-industries/cut-off-collaborator-avatars Fix collaborator avatars being clipped and not centered --- styles/src/styleTree/workspace.ts | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/styles/src/styleTree/workspace.ts b/styles/src/styleTree/workspace.ts index 7752c47b44662cdf1e97269930c5b592a48ee150..e3c24a0a6a54b80a29881335e1c6018c5f021ff6 100644 --- a/styles/src/styleTree/workspace.ts +++ b/styles/src/styleTree/workspace.ts @@ -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, },