Merge branch 'main' into copilot

2023-03-29 16:57:38 -07:00
parent ebd06b43f5 7601e7902a
commit ae3b3ea458
20 changed files with 351 additions and 165 deletions
@@ -263,9 +263,22 @@ export default function workspace(colorScheme: ColorScheme) {
            },
            padding: { left: 8, right: 8, top: 4, bottom: 4 },
        },
+        breadcrumbHeight: 24,
        breadcrumbs: {
-            ...text(layer, "mono", "variant"),
-            padding: { left: 6 },
+            ...text(colorScheme.highest, "sans", "variant"),
+            cornerRadius: 6,
+            padding: {
+                left: 6,
+                right: 6,
+            },
+            hover: {
+                color: foreground(colorScheme.highest, "on", "hovered"),
+                background: background(
+                    colorScheme.highest,
+                    "on",
+                    "hovered"
+                ),
+            },
        },
        disconnectedOverlay: {
            ...text(layer, "sans"),