From 58ad6f64d6c6577edc96db1b427b9596891b448a Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 21 Sep 2021 10:12:58 +0300
Subject: [PATCH] focus editor when clicking section name

---
 edit/source-editor.js | 1 +
 1 file changed, 1 insertion(+)

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() {