* Scroll directly to comment position * Only use EditorView.scrollIntoView when the target position is outside the viewport * Always listen for editor:scroll-position-restored (#28352) GitOrigin-RevId: 2da23b05ddd4ddbd2631c1da5b27dbef4757c86d
permissionsLevel
permissions
hasLintingError