From ff73433bc146c1c83205d310c1dececd4c8c811c Mon Sep 17 00:00:00 2001 From: fr33domlover <fr33domlover@riseup.net> Date: Tue, 22 Oct 2019 11:00:35 +0000 Subject: [PATCH] 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. --- src/Vervis/Foundation.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Vervis/Foundation.hs b/src/Vervis/Foundation.hs index 2900468..c248d96 100644 --- a/src/Vervis/Foundation.hs +++ b/src/Vervis/Foundation.hs @@ -962,4 +962,4 @@ instance YesodBreadcrumbs App where WikiPageR shr prj _page -> ("Wiki", Just $ ProjectR shr prj) - _ -> ("PAGE TITLE HERE", Nothing) + _ -> ("PAGE TITLE HERE", Just HomeR)