1
0
Fork 0
mirror of https://code.sup39.dev/repos/Wqawg synced 2024-12-29 00:34:54 +09:00

UI: Change the default page parent from Nothing to Just HomeR

That way, it's a bit easier to navigate from a weird "PAGE TITLE HERE" page to
the homepage. Breadcrumbs still need work though.
This commit is contained in:
fr33domlover 2019-10-22 11:00:35 +00:00
parent b23741f1fe
commit ff73433bc1

View file

@ -962,4 +962,4 @@ instance YesodBreadcrumbs App where
WikiPageR shr prj _page -> ("Wiki", Just $ ProjectR shr prj) WikiPageR shr prj _page -> ("Wiki", Just $ ProjectR shr prj)
_ -> ("PAGE TITLE HERE", Nothing) _ -> ("PAGE TITLE HERE", Just HomeR)