Would be nice to have cross-highlighting in addition to cross-filtering. For example, when hovering over words, would be nice to see where they are in document without having to apply the filter. Maybe it's not as necessary if filtering was faster (#130).
Would be nice to have cross-highlighting in addition to cross-filtering. For example, when hovering over words, would be nice to see where they are in document without having to apply the filter. Maybe it's not as necessary if filtering was faster (#130).