From 09aae16693a2f8ee6c8cd41fec5a667ed4324e69 Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Wed, 25 Jan 2023 10:22:03 +0100 Subject: [PATCH] Add loading indicators in infoview --- client/src/components/Level.tsx | 2 +- client/src/components/infoview/info.tsx | 2 +- client/src/components/infoview/messages.tsx | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx index e093b25..1f6eed2 100644 --- a/client/src/components/Level.tsx +++ b/client/src/components/Level.tsx @@ -194,7 +194,7 @@ function Level() { - {editorConnection ?
: null} + {editorConnection ?
: null} diff --git a/client/src/components/infoview/info.tsx b/client/src/components/infoview/info.tsx index a7ca772..199b924 100644 --- a/client/src/components/infoview/info.tsx +++ b/client/src/components/infoview/info.tsx @@ -145,7 +145,7 @@ const InfoDisplayContent = React.memo((props: InfoDisplayContentProps) => { {' '}or { e.preventDefault(); setPaused(false); }}>resume updating {' '}to see information. : - 'No info found.')} + 'Loading goal...')} }) diff --git a/client/src/components/infoview/messages.tsx b/client/src/components/infoview/messages.tsx index 12bdaed..f934505 100644 --- a/client/src/components/infoview/messages.tsx +++ b/client/src/components/infoview/messages.tsx @@ -71,7 +71,7 @@ function mkMessageViewProps(uri: DocumentUri, messages: InteractiveDiagnostic[]) /** Shows the given messages assuming they are for the given file. */ export const MessagesList = React.memo(({uri, messages}: {uri: DocumentUri, messages: InteractiveDiagnostic[]}) => { const should_hide = messages.length === 0; - if (should_hide) { return <>No messages. } + if (should_hide) { return <> } return (
@@ -140,7 +140,7 @@ export function AllMessages({uri: uri0}: { uri: DocumentUri }) { */} - + {/* */} )