Community
Participate
Working Groups
1. Open a large file (eg. editor.js) and press Ctrl+F. Ensure that "Incremental search" is enabled in the options. 2. Quickly type a query in the Find box (eg. "this.getAnnotation"). 3. As you hit each character, the editor scrolls down to show the matched text. But sometimes it will flick back to a previous scroll position briefly, which makes the animation look jerky. It should always be smooth. I don't remember this happening while we were still using dojo.Animation, so this is probably a bug with orion.editor.util.Animation.
(In reply to comment #0) > I don't remember this happening while we were still using dojo.Animation, so > this is probably a bug with orion.editor.util.Animation. Correction: it does happen with the dojo Animation, but for some reason it's not as noticeable.
I think this is fixed with the changes for bug#338362. I believe the problem was happening because each call to editor.moveSelection() would create an animation object and they would start running in parallel which could cause the scroll offset to go back and forward. Mark, please try to latest and reopen if it still happens.
