* STEPS TO REPRODUCE: 1. open WebInspector 2. show the Elements tab 3. click on a node in the DOM tree 4. move to the next/previous element using the down/up arrow keys => the newly selected node should be highlighted
<rdar://problem/46444438>
Created attachment 356474 [details] Patch
Comment on attachment 356474 [details] Patch r=me
Comment on attachment 356474 [details] Patch Clearing flags on attachment: 356474 Committed r238871: <https://trac.webkit.org/changeset/238871>
All reviewed patches have been landed. Closing bug.