request for more PageHeadings

This commit is contained in:
Felix Hamann 2018-06-09 21:29:42 +02:00
parent 589329b01c
commit d16ed578bf

View File

@ -617,6 +617,9 @@ pageHeading HomeR
= Just [whamlet|_{MsgHomeHeading}|] = Just [whamlet|_{MsgHomeHeading}|]
pageHeading TermShowR pageHeading TermShowR
= Just [whamlet|_{MsgTermsHeading}|] = Just [whamlet|_{MsgTermsHeading}|]
-- TODO: add headings for single course- and single term-pages
-- pageHeading CourseR
-- = Just ...
pageHeading _ pageHeading _
= Nothing = Nothing