From ceee1b38e118eb349a0592e602d837d2e83d08aa Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Sat, 21 Oct 2023 02:13:44 +0200
Subject: [PATCH] move circular loading

---
 client/src/components/infoview/infoview.css | 7 +++++++
 client/src/components/infoview/main.tsx     | 7 ++-----
 2 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/client/src/components/infoview/infoview.css b/client/src/components/infoview/infoview.css
index ddd23c9..cab47e8 100644
--- a/client/src/components/infoview/infoview.css
+++ b/client/src/components/infoview/infoview.css
@@ -87,6 +87,13 @@
   flex-direction: column;
 }
 
+.typewriter-interface .proof .MuiCircularProgress-root {
+  left: 50%;
+  position: relative;
+  margin-left: -20px;
+  margin-bottom: 0.6em;
+}
+
 .typewriter .typewriter-input {
   flex: 1;
 }
diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx
index 36189e6..1f39761 100644
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@@ -458,9 +458,6 @@ export function TypewriterInterface(props: { world: string, level: number, data:
     <RpcContext.Provider value={rpcSess}>
     <div className="content">
       <div className="tmp-pusher">
-        {!proof.length &&
-          <CircularProgress />
-        }
       </div>
       <div className='proof' ref={proofPanelRef}>
         <ExerciseStatement data={props.data} />
@@ -523,11 +520,11 @@ export function TypewriterInterface(props: { world: string, level: number, data:
                 }
               </div>
             }
-          </> : <></>
+          </> : <CircularProgress />
         }
       </div>
     </div>
-    <Typewriter hidden={!withErr && proof[proof.length - 1]?.goals.length == 0} disabled={disableInput}/>
+    <Typewriter hidden={!withErr && proof[proof.length - 1]?.goals.length == 0} disabled={disableInput || !proof.length}/>
     </RpcContext.Provider>
   </div>
 }