changed tab size to 4 spaces to match popular coding conventions

pgbovine · pgbovine · commit c2cb35497e6f · 2012-09-03T09:07:13.000-07:00
diff --git a/v3/js/opt-frontend.js b/v3/js/opt-frontend.js
@@ -56,9 +56,9 @@ $(document).ready(function() {
   pyInputCodeMirror = CodeMirror(document.getElementById('codeInputPane'), {
     mode: 'python',
     lineNumbers: true,
-    tabSize: 2,
+    tabSize: 4,
     // convert tab into two spaces:
-    extraKeys: {Tab: function(cm) {cm.replaceSelection("  ", "end");}}
+    extraKeys: {Tab: function(cm) {cm.replaceSelection("    ", "end");}}
   });
 
   pyInputCodeMirror.setSize(null, '450px');
