From d9a4ed993aad36464776c093333af1a310e5a492 Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Wed, 26 Jul 2023 00:47:32 -0700 Subject: fix colors and hover box behavior --- extension/react-app/src/pages/gui.tsx | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) (limited to 'extension/react-app/src/pages') diff --git a/extension/react-app/src/pages/gui.tsx b/extension/react-app/src/pages/gui.tsx index 5d893de9..9bb558c7 100644 --- a/extension/react-app/src/pages/gui.tsx +++ b/extension/react-app/src/pages/gui.tsx @@ -178,7 +178,7 @@ function GUI(props: GUIProps) { ) { client?.deleteAtIndex(history.current_index); } else if (e.key === "Escape") { - dispatch(setBottomMessageCloseTimeout(undefined)); + dispatch(setBottomMessage(undefined)); } }; window.addEventListener("keydown", listener); @@ -409,7 +409,7 @@ function GUI(props: GUIProps) { borderRadius: defaultBorderRadius, padding: "12px", zIndex: 100, - boxShadow: `0px 0px 6px 0px ${vscForeground}`, + boxShadow: `0px 0px 4px 0px ${vscForeground}`, maxHeight: "50vh", overflow: "scroll", }} @@ -419,11 +419,17 @@ function GUI(props: GUIProps) {