From 1e1ff73612f7f7c3c606f382d47d37b1ec839627 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 5 Dec 2017 03:54:43 +0300
Subject: [PATCH] simplify theme preloader

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

diff --git a/edit.html b/edit.html
index c626f148..7efc20ce 100644
--- a/edit.html
+++ b/edit.html
@@ -72,7 +72,6 @@
     <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>
diff --git a/edit/edit.js b/edit/edit.js
index 57238558..09275607 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -92,14 +92,12 @@ function preinit() {
   });
 
   // preload the theme so that CodeMirror can calculate its metrics in DOMContentLoaded->setupLivePrefs()
-  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});
+  document.head.appendChild(
+    $create('link#cm-theme', {
+      rel: 'stylesheet',
+      href: prefs.get('editor.theme') === 'default' ? '' :
+        'vendor/codemirror/theme/' + prefs.get('editor.theme') + '.css'
+    }));
 
   if (chrome.windows) {
     queryTabs({currentWindow: true}).then(tabs => {