Editor: capture Tab in capture phase for Firefox

Author: pepc84

editor/index.html

@@ -238,13 +238,17 @@
 
 document.addEventListener('keydown', e => {
   if ((e.ctrlKey||e.metaKey) && e.key==='Enter') { e.preventDefault(); runSketch(); }
+}, false);
+document.addEventListener('keydown', e => {
   if (e.key === 'Tab') {
     const cm = document.querySelector('.CodeMirror');
     if (cm && cm.contains(document.activeElement)) {
       e.preventDefault();
+      e.stopImmediatePropagation();
+      editor.execCommand('indentMore');
     }
   }
-});
+}, true);
 </script>
 </div>
 </div>