From 8f642dc05c1d21b984f9d196ee9b1171a8b7c053 Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Wed, 1 Nov 2017 08:50:10 +0800
Subject: [PATCH] Fix: drop innerHTML

---
 edit/source-editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/source-editor.js b/edit/source-editor.js
index 12ba61a6..7237d36c 100644
--- a/edit/source-editor.js
+++ b/edit/source-editor.js
@@ -10,7 +10,7 @@ function createSourceEditor(style) {
   let hadBeenSaved = false;
 
   // draw HTML
-  $('#sections').innerHTML = '';
+  $('#sections').textContent = '';
   $('#name').disabled = true;
   $('#mozilla-format-heading').parentNode.remove();