From 50e3dc5cd05ab9a6132e0d87c2a53393dcac2998 Mon Sep 17 00:00:00 2001
From: jahooma <jahooma@gmail.com>
Date: Fri, 31 Dec 2021 14:33:05 -0600
Subject: [PATCH] Add Discord link as menu option!

---
 web/components/menu.tsx         | 1 +
 web/components/profile-menu.tsx | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/web/components/menu.tsx b/web/components/menu.tsx
index 5c3794ef..5b8ffd86 100644
--- a/web/components/menu.tsx
+++ b/web/components/menu.tsx
@@ -34,6 +34,7 @@ export function MenuButton(props: {
               {({ active }) => (
                 <a
                   href={item.href}
+                  target={item.href.startsWith('http') ? '_blank' : undefined}
                   onClick={item.onClick}
                   className={clsx(
                     active ? 'bg-gray-100' : '',
diff --git a/web/components/profile-menu.tsx b/web/components/profile-menu.tsx
index 8f50fbfb..b5e88d43 100644
--- a/web/components/profile-menu.tsx
+++ b/web/components/profile-menu.tsx
@@ -48,7 +48,10 @@ function getNavigationOptions(user: User, options: { mobile: boolean }) {
       name: 'Your markets',
       href: `/${user.username}`,
     },
-
+    {
+      name: 'Discord',
+      href: 'https://discord.gg/eHQBNBqXuh',
+    },
     {
       name: 'Sign out',
       href: '#',