From c0799a92d3588cefa7c88a18452811d0153c685b Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Mon, 24 Jul 2023 23:12:49 -0700 Subject: tweaks --- extension/react-app/src/pages/gui.tsx | 58 ++++++++--------------------------- 1 file changed, 12 insertions(+), 46 deletions(-) (limited to 'extension/react-app/src/pages/gui.tsx') diff --git a/extension/react-app/src/pages/gui.tsx b/extension/react-app/src/pages/gui.tsx index d7efc288..76194db7 100644 --- a/extension/react-app/src/pages/gui.tsx +++ b/extension/react-app/src/pages/gui.tsx @@ -116,6 +116,9 @@ function GUI(props: GUIProps) { current_index: 3, } as any); + const vscMediaUrl = useSelector( + (state: RootStore) => state.config.vscMediaUrl + ); const [showFeedbackDialog, setShowFeedbackDialog] = useState(false); const [feedbackDialogMessage, setFeedbackDialogMessage] = useState(""); const [feedbackEntryOn, setFeedbackEntryOn] = useState(true); @@ -415,52 +418,15 @@ function GUI(props: GUIProps) { {bottomMessage}