From c49015bb10c6a02eddca2bbcd44c69918e57dfc9 Mon Sep 17 00:00:00 2001 From: Marshall Polaris Date: Tue, 3 May 2022 22:30:39 -0700 Subject: [PATCH] Fix up tiny cases where user should not be nullable --- web/components/feed-create.tsx | 4 ++-- web/components/nav/profile-menu.tsx | 12 +++++------- web/pages/home.tsx | 4 ++-- 3 files changed, 9 insertions(+), 11 deletions(-) diff --git a/web/components/feed-create.tsx b/web/components/feed-create.tsx index 0a0c6902..7e122dba 100644 --- a/web/components/feed-create.tsx +++ b/web/components/feed-create.tsx @@ -62,7 +62,7 @@ export function FeedPromo(props: { hotContracts: Contract[] }) { } export default function FeedCreate(props: { - user?: User + user: User tag?: string placeholder?: string className?: string @@ -98,7 +98,7 @@ export default function FeedCreate(props: { }} >
- +
diff --git a/web/components/nav/profile-menu.tsx b/web/components/nav/profile-menu.tsx index c88e67b9..575f1ddf 100644 --- a/web/components/nav/profile-menu.tsx +++ b/web/components/nav/profile-menu.tsx @@ -25,17 +25,15 @@ export function getNavigationOptions(user?: User | null) { ] } -export function ProfileSummary(props: { user: User | undefined }) { +export function ProfileSummary(props: { user: User }) { const { user } = props return ( - - + +
-
{user?.name}
-
- {user ? formatMoney(Math.floor(user.balance)) : ' '} -
+
{user.name}
+
{formatMoney(Math.floor(user.balance))}
) diff --git a/web/pages/home.tsx b/web/pages/home.tsx index 6f1ec93c..c97209fa 100644 --- a/web/pages/home.tsx +++ b/web/pages/home.tsx @@ -31,7 +31,7 @@ const Home = () => { // eslint-disable-next-line react-hooks/exhaustive-deps }, [router.isReady]) - if (user === null) { + if (user == null) { Router.replace('/') return <> } @@ -41,7 +41,7 @@ const Home = () => { - + {feed ? (