From 80e04702def257da1c0e0c7cde0873b26d21a548 Mon Sep 17 00:00:00 2001 From: Nate Butler Date: Thu, 9 Jun 2022 12:31:13 -0400 Subject: [PATCH] Style jump to diagnostic arrows --- styles/src/styleTree/editor.ts | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/styles/src/styleTree/editor.ts b/styles/src/styleTree/editor.ts index 9637e969d1..0f0e8724e9 100644 --- a/styles/src/styleTree/editor.ts +++ b/styles/src/styleTree/editor.ts @@ -140,11 +140,19 @@ export default function editor(theme: Theme) { invalidWarningDiagnostic: diagnostic(theme, "muted"), hover_popover: hoverPopover(theme), jumpIcon: { - color: iconColor(theme, "primary"), - iconWidth: 10, - buttonWidth: 10, + color: iconColor(theme, "muted"), + iconWidth: 20, + buttonWidth: 20, + cornerRadius: 6, + padding: { + top: 6, + bottom: 6, + left: 6, + right: 6, + }, hover: { - color: iconColor(theme, "active") + color: iconColor(theme, "active"), + background: backgroundColor(theme, "on500", "base"), } }, syntax,