From de84248e05e363afd2cdbd28a928afe1610526f4 Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Tue, 12 Sep 2017 03:44:19 +0800
Subject: [PATCH] Fix: add editors hack

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

diff --git a/edit/source-editor.js b/edit/source-editor.js
index 77e4e478..49299bc7 100644
--- a/edit/source-editor.js
+++ b/edit/source-editor.js
@@ -19,6 +19,8 @@ function createSourceEditor(style) {
   // draw CodeMirror
   $('#sections textarea').value = style.source;
   const cm = CodeMirror.fromTextArea($('#sections textarea'));
+  // too many functions depend on this global
+  editors.push(cm);
 
   // dirty reporter
   const dirty = dirtyReporter();