checkbox element and html_id

[bunnylushington]

Contrary to expectation, the attribute html_id doesn't set the ID of a checkbox element. I'm not sure if this is a bug per se or a gap in the documentation (or me being thick).

For instance

#checkbox{ html_id=an_html_id, label_position=none }.

produces something like

<input id="wfid_temp71619" type="checkbox" class="wfid_temp71619 checkbox" value="on"/>

I believe this is to facilitate the auto-generation of labels (and specifically the label for attribute).

It's possible to work around this (e.g., to employ custom Bootstrap elements):

TmpID = wf:temp_id(),
#panel{ class="custom-control custom-switch",
        body=
          [ #checkbox{ class="custom-control-input",
                       label_position=none,
                       anchor=TmpID},
            #label{ class="custom-control-label",
                    text="My Label"l,
                    for="wfid_" ++ TmpID }
          ]}.

and this is really fine in practice but was some work to track down.