From 5e473a2de4035db4a396053497cedda7d956ed5f Mon Sep 17 00:00:00 2001 From: Austin Chen Date: Thu, 20 Jan 2022 01:42:31 -0500 Subject: [PATCH] Show Leaderboards by default instead of Create --- web/components/nav-bar.tsx | 4 ++-- web/components/profile-menu.tsx | 4 ---- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/web/components/nav-bar.tsx b/web/components/nav-bar.tsx index 0b98506e..7f62230a 100644 --- a/web/components/nav-bar.tsx +++ b/web/components/nav-bar.tsx @@ -82,14 +82,14 @@ function NavOptions(props: { user: User | null; themeClasses: string }) { ) : ( <> - + diff --git a/web/components/profile-menu.tsx b/web/components/profile-menu.tsx index e97a337e..1d685769 100644 --- a/web/components/profile-menu.tsx +++ b/web/components/profile-menu.tsx @@ -51,10 +51,6 @@ function getNavigationOptions(user: User, options: { mobile: boolean }) { name: 'Your markets', href: `/${user.username}`, }, - { - name: 'Leaderboards', - href: '/leaderboards', - }, { name: 'Discord', href: 'https://discord.gg/eHQBNBqXuh',