diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/document-to-html.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/document-to-html.js b/lib/document-to-html.js index bd845f6..bd750f0 100644 --- a/lib/document-to-html.js +++ b/lib/document-to-html.js @@ -383,6 +383,13 @@ function DocumentConversion(options, comments) { var children = convertElements(element.children, messages, options); return [Html.nonFreshElement("a", attributes, children)]; }, + "checkbox": function(element) { + var attributes = {type: "checkbox"}; + if (element.checked) { + attributes["checked"] = "checked"; + } + return [Html.freshElement("input", attributes)]; + }, "bookmarkStart": function(element, messages, options) { var anchor = Html.freshElement("a", { id: htmlId(element.name) |