Lines Matching full:highlighted
755 // already. We dim the last highlighted view so that while a user is756 // scrolling, nothing is highlighted.