HeinrichApfelmus/threepenny-gui — pull request #100 by jvdp (2014-10-08 21:44:19+00:00)
Title: Add support for “label” element and its “for” attribute

I noticed that the `label` element (and its `for` attribute) were missing (see: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/label). They are very nice for checkboxes and radio buttons especially to have a larger clickable area.