You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jan 11, 2023. It is now read-only.
I've noticed that while searching the editor can occassionally be a bit jumpy. The reason for this is that the editor thinks that the new search result is not visible and centers the result in the middle of the editor.
This is a bug in how we calculate the start and last visible line of the document: here
Here are some screenshots of searching where the match is visible, but codemirror thinks it's not:
One other thought, this is likely CSS and could work on firefox, but fail on chrome
search
alignLine
The text was updated successfully, but these errors were encountered:
I've noticed that while searching the editor can occassionally be a bit jumpy. The reason for this is that the editor thinks that the new search result is not visible and centers the result in the middle of the editor.
This is a bug in how we calculate the start and last visible line of the document: here
Here are some screenshots of searching where the match is visible, but codemirror thinks it's not:
One other thought, this is likely CSS and could work on firefox, but fail on chrome
search
alignLine
The text was updated successfully, but these errors were encountered: