open.source/manifold
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bring back global leaderboards linked from profile menu

Browse Source
This commit is contained in:
jahooma 2022-01-27 16:43:45 -06:00
parent f2c4d3e9c1
commit 9b59ea9fbe
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
web/components/profile-menu.tsx
View File

@ -51,6 +51,10 @@ function getNavigationOptions(user: User, options: { mobile: boolean }) {
name: 'Your markets', name: 'Your markets',
href: `/${user.username}`, href: `/${user.username}`,
}, },
{
name: 'Leaderboards',
href: '/leaderboards',
},
{ {
name: 'Discord', name: 'Discord',
href: 'https://discord.gg/eHQBNBqXuh', href: 'https://discord.gg/eHQBNBqXuh',

2
web/pages/leaderboards.tsx
View File

@ -28,7 +28,7 @@ export default function Leaderboards(props: {
const { topTraders, topCreators } = props const { topTraders, topCreators } = props
return ( return (
<Page> <Page margin>
<Col className="items-center lg:flex-row gap-10"> <Col className="items-center lg:flex-row gap-10">
<Leaderboard <Leaderboard
title="🏅 Top traders" title="🏅 Top traders"