Editor: use same simple Tab fix as homepage

Author: pepc84

editor/index.html

@@ -109,7 +109,7 @@
   tabSize: 2,
   indentWithTabs: false,
   autofocus: true,
-  extraKeys: { Tab: cm => cm.execCommand('indentMore'), 'Shift-Tab': cm => cm.execCommand('indentLess'), Backspace: cm => cm.execCommand('delCharBefore') },
+  extraKeys: { Tab: function(cm) { cm.replaceSelection('  '); } },
 });
 editor.setValue(DEFAULT);
 editor.setSize('100%', '100%');
@@ -240,24 +240,6 @@
   if ((e.ctrlKey||e.metaKey) && e.key==='Enter') { e.preventDefault(); runSketch(); }
 });
 
-// Fix Tab in Firefox
-setTimeout(() => {
-  const cmEl = document.querySelector('.CodeMirror');
-  const cmTextarea = document.querySelector('.CodeMirror textarea');
-  if (cmEl) cmEl.setAttribute('tabindex', '-1');
-  if (cmTextarea) {
-    cmTextarea.setAttribute('tabindex', '0');
-    cmTextarea.addEventListener('keydown', e => {
-      if (e.key === 'Tab') {
-        e.preventDefault();
-        e.stopPropagation();
-        e.stopImmediatePropagation();
-        editor.replaceSelection('  ');
-        cmTextarea.focus();
-      }
-    }, true);
-  }
-}, 100);
 </script>
 </div>
 </div>