Skip to content
Snippets Groups Projects
Commit df7028c7 authored by stuebinm's avatar stuebinm
Browse files

server: small html improvements

bootstrap is horrible and should be replaced
parent 1e3ee5b0
No related branches found
No related tags found
No related merge requests found
...@@ -55,9 +55,11 @@ instance ToHtml JobStatus where ...@@ -55,9 +55,11 @@ instance ToHtml JobStatus where
autoReloadScript autoReloadScript
Linted res _rev (pending, _) -> do Linted res _rev (pending, _) -> do
h1_ "Linter Result" h1_ "Linter Result"
p_ $ do
"your map will be re-linted periodically. "
if pending if pending
then button_ [class_ "btn btn-primary btn-disabled", disabled_ "true"] "pending …" then button_ [class_ "btn btn-primary btn-disabled", disabled_ "true"] "pending …"
else button_ [onclick_ "relint()", class_ "btn btn-primary", id_ "relint_button"] "relint" else button_ [onclick_ "relint()", class_ "btn btn-primary", id_ "relint_button"] "relint now"
toHtml res toHtml res
script_ script_
"function relint() {\n\ "function relint() {\n\
...@@ -147,6 +149,7 @@ instance ToHtml (DirResult a) where ...@@ -147,6 +149,7 @@ instance ToHtml (DirResult a) where
unless (null dirresultDeps) $ ul_ $ unless (null dirresultDeps) $ ul_ $
forM_ dirresultDeps $ \missing -> do forM_ dirresultDeps $ \missing -> do
li_ $ do li_ $ do
" "
-- TODO: the whole Maybe Bool thing is annoying; I think that was a -- TODO: the whole Maybe Bool thing is annoying; I think that was a
-- remnant of talking to python stuff and can probably be removed? -- remnant of talking to python stuff and can probably be removed?
if depFatal missing == Just True if depFatal missing == Just True
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment