Editor: fix Tab key inserting spaces instead of unfocusing

Author: pepc84

editor/index.html

@@ -105,6 +105,7 @@
   tabSize: 2,
   indentWithTabs: false,
   autofocus: true,
+  extraKeys: { Tab: function(cm) { cm.replaceSelection('  '); } },
 });
 editor.setValue(DEFAULT);
 editor.setSize('100%', '100%');