Merge pull request 'Fix attempt 1: sync editor gutter with textarea scroll' (#263) from fix-259 into dev

2026-09-17 19:35:13 +00:00
parent 4abc8ec202 ee0cd7dcbd
commit cdf9136866
1 changed files with 2 additions and 0 deletions
@@ -9,6 +9,8 @@ function updateGutter() {
  gutter.textContent = s;
 }
 content.addEventListener('input', updateGutter);
+// #259: the editor scrolls itself; keep the gutter's numbers in step with it.
+content.addEventListener('scroll', () => { gutter.scrollTop = content.scrollTop; });
 updateGutter();

 function toast(msg, kind) {