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