From ba280fe44aca83c6a56ba37795bae941f0e25e8c Mon Sep 17 00:00:00 2001 From: Steffen Jost Date: Mon, 1 Jul 2019 17:52:52 +0200 Subject: [PATCH] minor: table row tooltips, also see #407 --- src/Handler/Corrections.hs | 6 ++-- templates/adminTest.hamlet | 52 ++++++++++++++++++++------- templates/corrections-overview.hamlet | 5 +-- 3 files changed, 45 insertions(+), 18 deletions(-) diff --git a/src/Handler/Corrections.hs b/src/Handler/Corrections.hs index 851c1b1c4..a7553da01 100644 --- a/src/Handler/Corrections.hs +++ b/src/Handler/Corrections.hs @@ -1214,13 +1214,13 @@ assignHandler tid ssh csh cid assignSids = do let -- whamlet convenience functions -- avoid nestes hamlet $maybe with duplicated $nothing - getCorrector :: Maybe UserId -> (Widget,Map SheetName SheetCorrector) + getCorrector :: Maybe UserId -> (Widget,Map SheetName SheetCorrector, Text) getCorrector (Just uid) | Just (User{..},loadMap) <- Map.lookup uid correctorMap - = (nameEmailWidget userEmail userDisplayName userSurname, loadMap) + = (nameEmailWidget userEmail userDisplayName userSurname, loadMap, userDisplayName) -- | Just (User{..} ) <- Map.lookup uid lecturerNames -- = (nameEmailWidget userEmail userDisplayName userSurname, mempty) -- lecturers may also correct in rare cases - getCorrector _ = ([whamlet|_{MsgNoCorrectorAssigned}|], mempty) + getCorrector _ = ([whamlet|_{MsgNoCorrectorAssigned}|], mempty, mempty) -- avoid nestes hamlet $maybe with duplicated $nothing getCorrSheetStatus :: Maybe UserId -> SheetName -> Maybe CorrectionInfo getCorrSheetStatus corr shn diff --git a/templates/adminTest.hamlet b/templates/adminTest.hamlet index 9c90a8994..b3f1a8ca2 100644 --- a/templates/adminTest.hamlet +++ b/templates/adminTest.hamlet @@ -1,23 +1,49 @@
-

+ + +

Diese interne Seite dient lediglich zum Testen diverser Funktionalitäten und zur Demonstration der verschiedenen Hilfsfunktionen/Module. Der Handler sollte jeweils aktuelle Beispiele für alle möglichen Funktionalitäten enthalten, so dass man immer weiß, wo man nachschlagen kann. +

+

+
+
Hier könnte Ihr Tooltip stehen! + Hier ist ein Text mit einem eingebetteten Tooltip. + +

+ + Kaufen Sie Tooltip-White für hellere Tooltips! + Den Tooltip-Handle sollte man immer setzen, damit es auch auf Mobilgeräten und ohne Javascript funktioniert. +

-

Teilweise funktionierende Abschnitte - -