Commit 4d07cda
committed
fix: avoid aggressive scrolling when navigating markers
When navigating to the next/prev problem using editor.action.marker.next,
the editor would always scroll the marker to the top of the viewport
(using revealPositionNearTop), even if the marker was already visible
or just slightly off-screen. This caused a "jumpy" experience and confusion.
Changed to use revealPositionInCenterIfOutsideViewport, which maintains
context by only scrolling if necessary, and centers the marker if it is
significantly far away.
Fixes #1567821 parent 4e6a50e commit 4d07cda
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
358 | 358 | | |
359 | 359 | | |
360 | 360 | | |
361 | | - | |
| 361 | + | |
362 | 362 | | |
363 | 363 | | |
364 | 364 | | |
| |||
0 commit comments