editors isn't defined on some pages like install-usercss

fixes #411
2018-07-03 08:42:13 +03:00 · 2018-07-03 08:42:13 +03:00 · 74ef2f6fcf
commit 74ef2f6fcf
parent d02d93f476
1 changed files with 1 additions and 1 deletions
--- 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} :