Début d'ajout de builders pour les paramètres

3 years ago · 18a4577c59
parent a4696191a8
commit 18a4577c59
1 changed files with 18 additions and 0 deletions
--- a/src/GenerateurH5P.elm
+++ b/src/GenerateurH5P.elm
@ -1340,6 +1340,24 @@ nouveauTrueFalse =
 {-
   ██████  ██    ██ ██ ██      ██████  ███████ ██████
   ██   ██ ██    ██ ██ ██      ██   ██ ██      ██   ██
   ██████  ██    ██ ██ ██      ██   ██ █████   ██████
   ██   ██ ██    ██ ██ ██      ██   ██ ██      ██   ██
   ██████   ██████  ██ ███████ ██████  ███████ ██   ██
 -}
 withStartScreenTitle string record =
    { record | startScreenTitle = string }
 withStartScreenSubtitle string record =
    { record | startScreenSubtitle = string }
 {-
   ██████╗  █████╗ ██████╗ ███████╗███████╗██████╗
   ██╔══██╗██╔══██╗██╔══██╗██╔════╝██╔════╝██╔══██╗