Convert checkbox to HTML

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)

test/document-to-html.tests.js

@@ -465,6 +465,22 @@ test('hyperlink target frame is used as anchor target', function() {
     });
 });
 
+test('unchecked checkbox is converted to unchecked checkbox input', function() {
+    var checkbox = documents.checkbox({checked: false});
+    var converter = new DocumentConverter();
+    return converter.convertToHtml(checkbox).then(function(result) {
+        assert.equal(result.value, '<input type="checkbox" />');
+    });
+});
+
+test('checked checkbox is converted to checked checkbox input', function() {
+    var checkbox = documents.checkbox({checked: true});
+    var converter = new DocumentConverter();
+    return converter.convertToHtml(checkbox).then(function(result) {
+        assert.equal(result.value, '<input type="checkbox" checked="checked" />');
+    });
+});
+
 test('bookmarks are converted to anchors', function() {
     var bookmarkStart = new documents.BookmarkStart({name: "_Peter"});
     var converter = new DocumentConverter({