Merge pull request #285634 from murataslan1/fix/jumpy-marker-navigation

jrieken · web-flow · commit 8b0dc7d95b8a · 2026-01-05T12:40:49.000+01:00
fix: avoid jumpy scrolling when navigating next/prev problem
diff --git a/src/vs/editor/contrib/gotoError/browser/gotoErrorWidget.ts b/src/vs/editor/contrib/gotoError/browser/gotoErrorWidget.ts
@@ -358,7 +358,7 @@ export class MarkerNavigationWidget extends PeekViewWidget {
 		}
 		this._icon.className = `codicon ${SeverityIcon.className(MarkerSeverity.toSeverity(this._severity))}`;
 
-		this.editor.revealPositionNearTop(position, ScrollType.Smooth);
+		this.editor.revealPositionInCenterIfOutsideViewport(position, ScrollType.Smooth);
 		this.editor.focus();
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -358,7 +358,7 @@ export class MarkerNavigationWidget extends PeekViewWidget {`
`358`	`358`	`}`
`359`	`359`	this._icon.className = `codicon ${SeverityIcon.className(MarkerSeverity.toSeverity(this._severity))}`;
`360`	`360`
`361`		`- this.editor.revealPositionNearTop(position, ScrollType.Smooth);`
	`361`	`+ this.editor.revealPositionInCenterIfOutsideViewport(position, ScrollType.Smooth);`
`362`	`362`	`this.editor.focus();`
`363`	`363`	`}`
`364`	`364`