logwizard
logwizard copied to clipboard
improve quick filter
// possible optimization:
// if the new quick filter is a subset of the former filter, I should run it only on the former sorted_line_indexes