jdorn/json-editor — pull request #172 by Reggino (2014-07-07 10:17:55+00:00)
Title: Boolean editor?

A "checkbox"-element may be a bit more nice than a "select" element, see #171

Please note that labels and checkboxes and/or radios can not be nested since "updateHeader" may re-render the label, making the input disappear...