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

fix: avoid jumpy scrolling when navigating next/prev problem
This commit is contained in:
Johannes Rieken
2026-01-05 12:40:49 +01:00
committed by GitHub
@@ -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();
}