Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update the scrollbar postiton on
scrollToMark
(#13291)
When I moved this into ControlCore, I forgot that UserScrollViewport is usually triggered by the scrollbar updating, so it doesn't ask the UI to update. Since this logic is in ControlCore, it's sorta in a weird place where it needs to communicate both up and down: * update the `Terminal`'s viewport position * update the `TermControl`'s scrollbar position Checklist: * [x] Closes a bug bash bug * [x] Missed in #12948 * See also #11000
- Loading branch information