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} :