> The one unconventional suggestion is the idea of a correspondence between the characters of the source text and the HTML text.
Did you get a chance to check out fellow HN homepage link Paperman [1][2]? It offers exactly what you propose: Double-clicking on the results frame highlights the relevant line in the source, and vice versa. This could easily be adapted to match your suggestion.
Did you get a chance to check out fellow HN homepage link Paperman [1][2]? It offers exactly what you propose: Double-clicking on the results frame highlights the relevant line in the source, and vice versa. This could easily be adapted to match your suggestion.
[1] http://paperman.patricklorio.com/ [2] https://news.ycombinator.com/item?id=8507310