Show / hide fully covered files in HTML report

[knyghty]

Is your feature request related to a problem? Please describe.
Usually when I'm reading the HTML report I only really care about files without full coverage. So it would be nice to be able to toggle whether fully covered files are visible in the report.

Describe the solution you'd like
I think a checkbox near the filter input could work, so you can toggle showing covered files on/off. Presumably the JS would be relatively simple. It would be nice if the state of the toggle could be remembered, perhaps in local storage.

Describe alternatives you've considered
Of course I could generate the report to only show files that are not fully covered in the first place, but I think this is more flexible. Often I want to see the whole file list so I can check files aren't missing (though finding these can be tricky, admittedly). I can also already sort by the covered column, which is probably enough, but there is I think something to be gained by watching the files go away when adding coverage, and still being able to see things in directory tree order is a bit more useful.

[nedbat]

I agree with you, this would be useful. Maybe someone would like to contribute it?

[nedbat]

This is now implemented in commit a507c3a, though it's not yet merged to master, and will be a different commit when it is.