From c462a13ab563095a3b0514164e16a5e4f1b0b49d Mon Sep 17 00:00:00 2001
From: Eralp Sahin <eralpsahin@me.com>
Date: Mon, 17 Jun 2019 17:48:01 -0400
Subject: [PATCH] Fix checkbox not checked on HTML export

---
 src/extensions/markdownExtension.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/extensions/markdownExtension.js b/src/extensions/markdownExtension.js
index 8a5ffd0d..405a3825 100644
--- a/src/extensions/markdownExtension.js
+++ b/src/extensions/markdownExtension.js
@@ -152,7 +152,9 @@ extensionSvc.onSectionPreview((elt, options, isEditor) => {
     const checkboxElt = document.createElement('input');
     checkboxElt.type = 'checkbox';
     checkboxElt.className = 'task-list-item-checkbox';
-    checkboxElt.checked = spanElt.classList.contains('checked');
+    if (spanElt.classList.contains('checked')) {
+      checkboxElt.setAttribute('checked', true);
+    }
     if (!isEditor) {
       checkboxElt.disabled = 'disabled';
     }