From f11235aaf9e62991e66951eb2de4687bb716c118 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 9 Dec 2017 19:05:44 +0300
Subject: [PATCH] Revert 1e1ff736 "simplify theme preloader"

---
 edit.html    |  1 +
 edit/edit.js | 14 ++++++++------
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/edit.html b/edit.html
index 476c571d..d2afaaef 100644
--- a/edit.html
+++ b/edit.html
@@ -76,6 +76,7 @@
     <script src="edit/codemirror-default.js"></script>
 
     <link rel="stylesheet" href="/edit/codemirror-default.css">
+    <link id="cm-theme" rel="stylesheet">
 
     <template data-id="appliesTo">
       <li class="applies-to-item">
diff --git a/edit/edit.js b/edit/edit.js
index 1a5c4fac..d22ef7a4 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -75,12 +75,14 @@ function preinit() {
   });
 
   // preload the theme so that CodeMirror can calculate its metrics in DOMContentLoaded->setupLivePrefs()
-  document.head.appendChild(
-    $create('link#cm-theme', {
-      rel: 'stylesheet',
-      href: prefs.get('editor.theme') === 'default' ? '' :
-        'vendor/codemirror/theme/' + prefs.get('editor.theme') + '.css'
-    }));
+  new MutationObserver((mutations, observer) => {
+    const themeElement = $('#cm-theme');
+    if (themeElement) {
+      themeElement.href = prefs.get('editor.theme') === 'default' ? ''
+        : 'vendor/codemirror/theme/' + prefs.get('editor.theme') + '.css';
+      observer.disconnect();
+    }
+  }).observe(document, {subtree: true, childList: true});
 
   if (chrome.windows) {
     queryTabs({currentWindow: true}).then(tabs => {