Focus back on editor after clicking evaluate

Knifa · Knifa · commit 24f460c736ad · 2016-05-11T19:52:03.000+01:00
diff --git a/static/web.js b/static/web.js
@@ -725,6 +725,7 @@
 
         evaluateButton.onclick = function() {
             doEvaluate(true);
+            editor.focus();
         };
 
         editor.commands.addCommand({
