Merge pull request #211 from Knifa/patch-1

alexcrichton · alexcrichton · commit d7c21a25a167 · 2016-05-11T16:12:49.000-07:00
Focus back on editor after clicking evaluate
diff --git a/static/web.js b/static/web.js
@@ -725,6 +725,7 @@
 
         evaluateButton.onclick = function() {
             doEvaluate(true);
+            editor.focus();
         };
 
         editor.commands.addCommand({
