Remove extra options for signed-out users

web/components/nav/profile-menu.tsx

@@ -4,39 +4,24 @@ import { Avatar } from '../avatar'
 import { IS_PRIVATE_MANIFOLD } from '../../../common/envs/constants'
 import { Row } from '../layout/row'
 
-export function getNavigationOptions() {
+export function getNavigationOptions(user?: User | null) {
+  if (IS_PRIVATE_MANIFOLD) {
+    return [{ name: 'Leaderboards', href: '/leaderboards' }]
+  }
+
+  if (!user) {
     return [
-    {
+      { name: 'Leaderboards', href: '/leaderboards' },
-      name: 'Your trades',
+      { name: 'Discord', href: 'https://discord.gg/eHQBNBqXuh' },
-      href: '/trades',
-    },
-    // Disable irrelevant menu options for teams.
-    ...(IS_PRIVATE_MANIFOLD
-      ? [
-          {
-            name: 'Leaderboards',
-            href: '/leaderboards',
-          },
     ]
-      : [
+  }
-          {
+
-            name: 'Add funds',
+  return [
-            href: '/add-funds',
+    { name: 'Your trades', href: '/trades' },
-          },
+    { name: 'Add funds', href: '/add-funds' },
-          {
+    { name: 'Leaderboards', href: '/leaderboards' },
-            name: 'Leaderboards',
+    { name: 'Discord', href: 'https://discord.gg/eHQBNBqXuh' },
-            href: '/leaderboards',
+    { name: 'Sign out', href: '#', onClick: () => firebaseLogout() },
-          },
-          {
-            name: 'Discord',
-            href: 'https://discord.gg/eHQBNBqXuh',
-          },
-        ]),
-    {
-      name: 'Sign out',
-      href: '#',
-      onClick: () => firebaseLogout(),
-    },
   ]
 }
 

web/components/nav/sidebar.tsx

@@ -107,7 +107,7 @@ export default function Sidebar() {
         ))}
 
         <MenuButton
-          menuItems={getNavigationOptions()}
+          menuItems={getNavigationOptions(user)}
           buttonContent={<MoreButton />}
         />
       </div>