From 8cb5040483bd9849d4e6972e608aff7b2ae03dd3 Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Mon, 4 Oct 2021 12:28:14 +0200 Subject: pages: improvements on the module selection Signed-off-by: Alban Gruin --- src/pages.ml | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) (limited to 'src') diff --git a/src/pages.ml b/src/pages.ml index aa4b369..a1bbc1e 100644 --- a/src/pages.ml +++ b/src/pages.ml @@ -51,7 +51,7 @@ let main = common {|
- +
@@ -108,14 +108,22 @@ let link lnk = let select module_id groups = let options = Seq.map (fun group -> " ") groups - |> List.of_seq - |> String.concat "\n" in + |> List.of_seq in + let num = string_of_int (List.length options) in + let options = String.concat "\n" options in common @@ {| +

Filtrer par groupe

+

+ Sélectionnez les groupes que vous souhaitez voir dans votre emploi + du temps. N'en sélectionnez aucun si vous les voulez tous. +

- |} ^ options ^ {| - - + + +
|} -- cgit v1.2.1