anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-02 10:47:32 +03:00
Code Issues Projects Releases Wiki Activity

Put Last modified message inside footer tag (#2922)

Browse Source 
This is needed so that the color of the text is set according to the
theme.

Before

![image](https://github.com/user-attachments/assets/d8a67cd1-8fef-4530-a3f8-75b755c6481b)

After

![image](https://github.com/user-attachments/assets/ae8e1ac7-9d88-4e0c-aabc-31d7c2ffb1a5)
This commit is contained in:
Jan Mas Rovira 2024-08-01 19:35:02 +02:00 committed by GitHub
parent fe07c053d2
commit d3f57a6187
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Juvix/Compiler/Backend/Html/Translation/FromTyped/Source.hs
View File

@ -187,13 +187,15 @@ genModuleHtml o = do
formattedTime :: Sem r Html formattedTime :: Sem r Html
formattedTime = formattedTime =
return $ return
Html.span . toHtml $ . Html.footer
"Last modified on " . Html.pre
<> formatTime . toHtml
defaultTimeLocale $ "Last modified on "
"%Y-%m-%d %-H:%M %Z" <> formatTime
(o ^. genModuleHtmlArgsUTC) defaultTimeLocale
"%Y-%m-%d %-H:%M %Z"
(o ^. genModuleHtmlArgsUTC)
justCode :: Sem r Html justCode :: Sem r Html
justCode = justCode =