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

new page: sync editor gutter with textarea scroll (#259 )
2026-09-17 19:35:13 +00:00 · 2026-09-17 14:30:03 -05:00
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) {
Author	SHA1	Message	Date
fen	cdf9136866	Merge pull request 'Fix attempt 1: sync editor gutter with textarea scroll' (#263 ) from fix-259 into dev CI / test (push) Successful in 23s Details CI / docker (push) Successful in 41s Details	2026-09-17 19:35:13 +00:00
fen	ee0cd7dcbd	new page: sync editor gutter with textarea scroll (#259 ) CI / test (pull_request) Successful in 22s Details CI / docker (pull_request) Skipped Details	2026-09-17 14:30:03 -05:00