focus editor when clicking section name

2021-09-21 10:12:58 +03:00 · 2021-09-21 10:12:58 +03:00 · 58ad6f64d6
commit 58ad6f64d6
parent 349a8c3878
1 changed files with 1 additions and 0 deletions
--- 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() {