Merge branch 'main' into main

2026-05-08 09:08:48 +01:00 · 2025-06-16 02:17:50 +08:00
parent e741ef491b dd48c7f264
commit 47871a8cb3
937 changed files with 12630 additions and 13030 deletions
@@ -156,7 +156,6 @@ export function scrollToRevealSourceLine(line: number, documentVersion: number,
 		const progressInElement = line - Math.floor(line);
 		scrollTo = previousTop + (rect.height * progressInElement);
 	}
-	scrollTo = Math.abs(scrollTo) < 1 ? Math.sign(scrollTo) : scrollTo;
 	window.scroll(window.scrollX, Math.max(1, window.scrollY + scrollTo));
 }