zed 0.77.3

Fix collaborator avatars being clipped and not centered

Cargo.lock

@@ -8409,7 +8409,7 @@ checksum = "09041cd90cf85f7f8b2df60c646f853b7f535ce68f85244eb6731cf89fa498ec"
 
 [[package]]
 name = "zed"
-version = "0.78.0"
+version = "0.77.3"
 dependencies = [
  "activity_indicator",
  "anyhow",

crates/zed/Cargo.toml

@@ -3,7 +3,7 @@ authors = ["Nathan Sobo <nathansobo@gmail.com>"]
 description = "The fast, collaborative code editor."
 edition = "2021"
 name = "zed"
-version = "0.78.0"
+version = "0.77.3"
 publish = false
 
 [lib]

crates/zed/RELEASE_CHANNEL

@@ -1 +1 @@
-dev
+stable

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,
             },