From 33e7f920a36111128297ac8e2bdf6682aa4b6989 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 6 Apr 2021 07:10:03 +0300
Subject: [PATCH] fixup: load codemirror-themes.js earlier

---
 edit.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit.html b/edit.html
index 636aeb3b..cd6bac6d 100644
--- a/edit.html
+++ b/edit.html
@@ -16,6 +16,7 @@
     <script src="content/apply.js"></script>
 
     <script src="js/sections-util.js"></script>
+    <script src="edit/codemirror-themes.js"></script> <!-- must precede base.js -->
     <script src="edit/base.js"></script>
 
     <script src="vendor/codemirror/lib/codemirror.js"></script>
@@ -49,7 +50,6 @@
     <script src="js/worker-util.js"></script>
 
     <script src="edit/util.js"></script>
-    <script src="edit/codemirror-themes.js"></script>
     <script src="edit/codemirror-default.js"></script>
     <script src="edit/codemirror-factory.js"></script>
     <script src="edit/moz-section-finder.js"></script>