Merge pull request #2 from DennisKehrig/live-development

Made GotoAgent focus the editor
adobe · Jul 27, 2012 · 4a49d9f · 4a49d9f
2 parents cfef069 + 1671a25
commit 4a49d9f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/LiveDevelopment/Agents/GotoAgent.js b/src/LiveDevelopment/Agents/GotoAgent.js
@@ -142,6 +142,7 @@ define(function GotoAgent(require, exports, module) {
         codeMirror.setCursor(location);
         codeMirror.setLineClass(location.line, "flash");
         window.setTimeout(codeMirror.setLineClass.bind(codeMirror, location.line), 1000);
+        editor.focus();
     }
 
     /** Open the editor at the given url and editor location