From e51c632db64f48f2b329da96af2482c1ccbb7d1f Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 10 Jul 2018 11:45:52 +0300
Subject: [PATCH] fixup 74ef2f6f: 'editors' is a const

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

diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js
index 9401a32d..0912f445 100644
--- a/edit/codemirror-default.js
+++ b/edit/codemirror-default.js
@@ -229,7 +229,7 @@
   });
 
   // doubleclick option
-  if (window.editors) {
+  if (typeof editors !== 'undefined') {
     const fn = (cm, repeat) =>
       repeat === 'double' ?
         {unit: selectTokenOnDoubleclick} :