Add style leader selection container

Co-Authored-By: Max Brunsfeld <max@zed.dev>
2023-02-22 13:36:06 -05:00
parent 9b92a8e3fe
commit dbe5b0205c
3 changed files with 22 additions and 4 deletions
@@ -116,6 +116,19 @@ export default function workspace(colorScheme: ColorScheme) {
        outerCornerRadius: followerAvatarOuterWidth / 2,
      },
      followerAvatarOverlap: 8,
+      leaderSelection: {
+        margin: {
+          top: 4,
+          bottom: 4,
+        },
+        padding: {
+          left: 2,
+          right: 2,
+          top: 4,
+          bottom: 4,
+        },
+        cornerRadius: 6,
+      },
      avatarRibbon: {
        height: 3,
        width: 12,