From 5c8263809a42de6b901697659784986013673912 Mon Sep 17 00:00:00 2001
From: sandreckoner <sandreckoner@moving-reference-frame>
Date: Wed, 30 Oct 2024 22:58:26 -0400
Subject: [PATCH] Display the Impressum button conditionally

---
 client/src/Navigation.tsx | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/client/src/Navigation.tsx b/client/src/Navigation.tsx
index f55cbc7a..30d712ec 100644
--- a/client/src/Navigation.tsx
+++ b/client/src/Navigation.tsx
@@ -173,6 +173,8 @@ export const Menu: FC <{
     }
   }
 
+  const hasImpressum = lean4webConfig.impressum || lean4webConfig.contactDetails
+
   return  <div className='menu'>
     <select
         name="leanVersion"
@@ -218,13 +220,15 @@ export const Menu: FC <{
       <NavButton icon={faArrowRotateRight} text="Restart server" onClick={restart} />
       <NavButton icon={faDownload} text="Save file" onClick={() => save(code)} />
       <NavButton icon={faShield} text={'Privacy policy'} onClick={() => {setPrivacyOpen(true)}} />
-      <NavButton icon={faInfoCircle} text={'Impressum'} onClick={() => {setImpressumOpen(true)}} />
+      { hasImpressum &&
+        <NavButton icon={faInfoCircle} text={'Impressum'} onClick={() => {setImpressumOpen(true)}} />
+      }
       <NavButton icon={faArrowUpRightFromSquare} text="Lean community" href="https://leanprover-community.github.io/" />
       <NavButton icon={faArrowUpRightFromSquare} text="Lean documentation" href="https://leanprover.github.io/lean4/doc/" />
       <NavButton icon={faArrowUpRightFromSquare} text="GitHub" href="https://github.com/hhu-adam/lean4web" />
     </Dropdown>
     <PrivacyPopup open={privacyOpen} handleClose={() => setPrivacyOpen(false)} />
-    { (lean4webConfig.impressum || lean4webConfig.contactDetails) &&
+    { hasImpressum &&
       <ImpressumPopup open={impressumOpen} handleClose={() => setImpressumOpen(false)} />
     }
     <ToolsPopup open={toolsOpen} handleClose={() => setToolsOpen(false)} project={project} />