Filter or subset search results #43
Description
Currently, search results are highlighted but may not be immediately found without scrolling. One idea is to scroll to the first hit (as are be many search patterns that would result in multiple hits). Another idea is to filter or subset the table rows based on hits.