369 collapse legend

flex/findliar.flex

@@ -365,9 +365,14 @@ description _ TaskData{..} = do
   paragraph $ text
     ("Verwenden Sie dabei die atomaren Formeln A, B, C mit der Interpretation, " ++
     "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person die Wahrheit sagt.")
-  keyHeading
-  basicOpKey True
-  arrowsKey
+  collapsed True (translations $ do
+    english "Notes on notation:"
+    german "Notationshinweise:")
+    (do
+      basicOpKey True
+      arrowsKey
+      pure()
+    )
   pure ()
 
 

flex/proplogic.flex

@@ -395,9 +395,14 @@ description _ (legend,hints,_) = do
       "Geben Sie diese Formel in das entsprechend benannte Textfeld ein. " ++
       "Verwenden Sie dabei die atomaren Formeln A, B, C, D mit der Interpretation, " ++
       "dass eine Zuordnung von 'wahr' dafür steht, dass die entsprechende Person mitkommt."
-    keyHeading
-    basicOpKey True
-    arrowsKey
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        basicOpKey True
+        arrowsKey
+        pure()
+      )
     paragraph $ text $
       "Wer geht mit Eva zum Konzert? Leiten Sie Ihr Ergebnis mittels Wahrheitstafel her. " ++
       "Kreuzen Sie dann alle Begleitenden in der Namensliste an."

src/LogicTasks/Syntax/ComposeFormula.hs

@@ -14,6 +14,7 @@ import Control.OutputCapable.Blocks (
   extra,
   ($=<<),
   english,
+  collapsed,
   german,
   translate,
   localise,
@@ -76,9 +77,15 @@ description inputHelp path ComposeFormulaInst{..} = do
       english "(You are allowed to add arbitrarily many additional pairs of brackets in the formulas.)"
       german "(In den Formeln dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)"
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     when inputHelp $ paragraph $ indent $ do
       translate $ do

src/LogicTasks/Syntax/DecomposeFormula.hs

@@ -13,6 +13,7 @@ import Control.OutputCapable.Blocks (
   OutputCapable,
   extra,
   ($=<<),
+  collapsed,
   english,
   german,
   localise,
@@ -53,9 +54,15 @@ description DecomposeFormulaInst{..} = do
       english "(You are allowed to add arbitrarily many additional pairs of brackets in the formula.)"
       german "(In der Formel dürfen Sie beliebig viele zusätzliche Klammerpaare hinzufügen.)"
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     paragraph $ indent $ do
       translate $ do

src/LogicTasks/Syntax/SubTreeSet.hs

@@ -75,9 +75,15 @@ description withListInput SubTreeInst{..} = do
       german "Sie können dafür die ursprüngliche Formel mehrfach in die Abgabe kopieren und Teile entfernen oder leer starten."
       english "You can copy the original formula into the submission several times and remove parts or start from scratch."
 
-    keyHeading
-    basicOpKey unicodeAllowed
-    arrowsKey' arrowOperatorsToShow
+    collapsed True (translations $ do
+      english "Notes on notation:"
+      german "Notationshinweise:")
+      (do
+        keyHeading
+        basicOpKey unicodeAllowed
+        arrowsKey' arrowOperatorsToShow
+        pure()
+      )
 
     extra addText
     pure ()