Show a clickable jump icon for each diagnostic group header

2022-05-31 15:57:22 +02:00
parent aefdde66a6
commit 4f9c207425
4 changed files with 45 additions and 6 deletions
@@ -98,6 +98,14 @@ export default function editor(theme: Theme) {
      background: backgroundColor(theme, 300),
      iconWidthFactor: 1.5,
      textScaleFactor: 0.857, // NateQ: Will we need dynamic sizing for text? If so let's create tokens for these.
+      jumpIcon: {
+        color: iconColor(theme, "primary"),
+        iconWidth: 10,
+        buttonWidth: 10,
+        hover: {
+          color: iconColor(theme, "active")
+        }
+      },
      border: border(theme, "secondary", {
        bottom: true,
        top: true,