Profile: theme select form available, but still buggy somehow

messages/de.msg

@@ -77,6 +77,8 @@ Theme: Oberflächen Design
 Favoriten: Anzahl gespeicherter Favoriten
 Plugin: Plugin
 Ident: Identifizierung
+Settings: Individuelle Benutzereinstellungen
+SettingsUpdate: Einstellungen wurden gespeichert.
 
 SheetExercise: Aufgabenstellung
 SheetHint: Hinweise

src/Handler/Profile.hs

@@ -39,9 +39,24 @@ makeSettingForm template = identForm FIDsettings $ \html -> do
 
 getProfileR :: Handler Html
 getProfileR = do
-    (uid, User{..}) <- requireAuthPair
+  (uid, User{..}) <- requireAuthPair
-    -- mr <- getMessageRender
+  let settingsTemplate = Just $ SettingsForm
-    (admin_rights,lecturer_rights,lecture_owner,lecture_corrector,participant,studies) <- runDB $ (,,,,,) <$>
+        { stgMaxFavourties = userMaxFavourites
+        , stgTheme         = userTheme
+        }
+  ((res,formWidget), formEnctype) <- runFormPost $ makeSettingForm settingsTemplate
+  case res of
+    (FormSuccess SettingsForm{..}) -> do
+        runDB $ update uid  [ UserMaxFavourites =. userMaxFavourites
+                            , UserTheme         =. userTheme
+                            ]
+        addMessage "info" $ toHtml $ "LOG:" ++ display userMaxFavourites ++ display userTheme
+        addMessageI "info" $ MsgSettingsUpdate
+    (FormFailure msgs) -> forM_ msgs $ (addMessage "warning") . toHtml
+    _ -> return ()
+
+
+  (admin_rights,lecturer_rights,lecture_owner,lecture_corrector,participant,studies) <- runDB $ (,,,,,) <$>
             (E.select $ E.from $ \(adright `E.InnerJoin` school) -> do
                 E.where_ $ adright ^. UserAdminUser E.==. E.val uid
                 E.on $ adright ^. UserAdminSchool E.==. school ^. SchoolId
@@ -81,11 +96,13 @@ getProfileR = do
                         ,studyfeat   ^. StudyFeaturesType
                         ,studyfeat   ^. StudyFeaturesSemester)
             )
-
+  let formText  = Just MsgSettings
-    defaultLayout $ do
+      actionUrl = ProfileR
-        setTitle . toHtml $ userIdent <> "'s User page"
+      settingsForm = $(widgetFile "formPageI18n")
-        $(widgetFile "profile")
+  defaultLayout $ do
-        $(widgetFile "dsgvDisclaimer")
+    setTitle . toHtml $ userIdent <> "'s User page"
+    $(widgetFile "profile")
+    $(widgetFile "dsgvDisclaimer")
 
 postProfileR :: Handler Html
 postProfileR = do

templates/profile.hamlet

@@ -76,3 +76,4 @@
                   <a href=@{CourseR tid csh CShowR}>#{display tid} - #{csh}
                   seit #{display regSince}
 
+  ^{settingsForm}