Open symbol outline when clicking on editor breadcrumbs

2023-03-29 15:46:43 -04:00
parent 35b2aceffb
commit 737e2e1b3c
10 changed files with 102 additions and 29 deletions
@@ -276,9 +276,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"),