This looks dumb. Should be easy to fix. Relevant code is in TextEditor._revealSearchResult and you could use add/removeScrollHandler to detect this and update position or hide it early. You'd need to make sure the animation cancels.
<rdar://problem/14222375>
Not sure if I'm just missing something obvious, but what is the "bouncy highlight" element? Do you mean the light-blue line highlight?
(In reply to comment #2) > Not sure if I'm just missing something obvious, but what is the "bouncy > highlight" element? Do you mean the light-blue line highlight? Yeah that was a dumb question. Nevermind -.-
Created attachment 300147 [details] Patch
Comment on attachment 300147 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=300147&action=review > Source/WebInspectorUI/UserInterface/Views/TextEditor.js:1093 > + }; > + this.addScrollHandler(scrollHandler); Add newline between.
Created attachment 300187 [details] Patch
Created attachment 300188 [details] Patch
Comment on attachment 300188 [details] Patch Clearing flags on attachment: 300188 Committed r211408: <http://trac.webkit.org/changeset/211408>
All reviewed patches have been landed. Closing bug.