From ee0cd7dcbd86bd3a6f7effde03270a96ad34ea51 Mon Sep 17 00:00:00 2001 From: fen Date: Thu, 17 Sep 2026 14:30:03 -0500 Subject: [PATCH] new page: sync editor gutter with textarea scroll (#259) --- internal/web/static/new.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/internal/web/static/new.js b/internal/web/static/new.js index 3e4cf2c..8954133 100644 --- a/internal/web/static/new.js +++ b/internal/web/static/new.js @@ -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) {