diff --git a/edit/source-editor.js b/edit/source-editor.js
index 68ad1194..f73643c5 100644
--- a/edit/source-editor.js
+++ b/edit/source-editor.js
@@ -57,6 +57,7 @@ function SourceEditor() {
       if (sec) {
         sectionFinder.updatePositions(sec);
         cm.jumpToPos(sec.start);
+        cm.focus();
       }
     },
     async save() {