# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1638289535 -3600
# Node ID 2e548a9830c6aa522e153486be21bc4500f7fe73
# Parent  789ebf39b2d893d2b150f6b550e5f0f23f47ee77
(bulma) input/field: fix `name` attribute + add `required` to checkbox

diff -r 789ebf39b2d8 -r 2e548a9830c6 sat_templates/templates/bulma/input/field.html
--- a/sat_templates/templates/bulma/input/field.html	Thu Nov 18 16:25:27 2021 +0000
+++ b/sat_templates/templates/bulma/input/field.html	Tue Nov 30 17:25:35 2021 +0100
@@ -67,10 +67,10 @@
     {{ field("number", name=name, label=label, value=init, class=class, control_class=control_class, in_group=in_group, attrs={"min": min, "max": max, "step": step, "placeholder": placeholder}) }}
 {% endmacro %}
 
-{% macro checkbox(name, label="", checked=false) %}
+{% macro checkbox(name, label="", checked=false, required=false) %}
     {% set cur_id = name|next_gidx %}
     <label for="{{cur_id}}" class="label checkbox">{{label}}</label>
-    <input id="{{cur_id}}" type="checkbox" {% if checked %}checked=checked{% endif %}>
+    <input {{ {"id": cur_id, "name": name}|xmlattr }} type="checkbox" {% if checked %}checked=checked{% endif %} {{"required" if required}}>
 {% endmacro %}
 
 {% macro text(name, label="", value=none, class="", control_class="", placeholder=none, help="", required=false, pattern=none, title=none, autocomplete=none, icon_left=none, icon_right=none, in_group=false) %}