aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlban Gruin2021-10-04 12:28:14 +0200
committerAlban Gruin2021-10-04 12:28:14 +0200
commit8cb5040483bd9849d4e6972e608aff7b2ae03dd3 (patch)
tree5452a33ae7b9f11e0e1a15d91cdd52fc63dde1da /src
parentaefadbe1901201ee1db860f067a8ac97ecf23daf (diff)
pages: improvements on the module selection
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src')
-rw-r--r--src/pages.ml20
1 files changed, 14 insertions, 6 deletions
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 {|
<form action="/filter" method="get">
<label for="id_module">ID du module</label>
<input type="text" name="module" id="id_module" required />
- <input type="submit" value="Générer un ICS" />
+ <input type="submit" value="Filtrer par groupes" />
</form>
</section>
<section>
@@ -108,14 +108,22 @@ let link lnk =
let select module_id groups =
let options =
Seq.map (fun group -> " <option>" ^ escape group ^ "</option>") 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 @@ {|
+ <h3>Filtrer par groupe</h3>
+ <p>
+ Sélectionnez les groupes que vous souhaitez voir dans votre emploi
+ du temps. N'en sélectionnez aucun si vous les voulez tous.
+ </p>
<form method="post" action="/lnk">
- <select name="groups" multiple>
+ <label for="groups">Liste des groupes</label>
+ <select id="groups" name="groups" multiple="multiple" size="|} ^ num ^ {|">
|} ^ options ^ {|
</select>
- <input type="hidden" name="module" value="|} ^ module_id ^ {|" />
- <input type="submit" text="Valider" />
+ <input type="hidden" name="module" value="|} ^ escape module_id ^ {|" />
+ <input type="reset" value="Effacer la sélection" />
+ <input type="submit" value="Générer un ICS" />
</form>
|}