fixup 74ef2f6f: 'editors' is a const

2018-07-10 11:45:52 +03:00 · 2018-07-10 11:45:52 +03:00 · e51c632db6
commit e51c632db6
parent 26aab6c926
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) {
+  if (typeof editors !== 'undefined') {
    const fn = (cm, repeat) =>
      repeat === 'double' ?
        {unit: selectTokenOnDoubleclick} :