Convert coverage plots to SVG #422
Description
That would avoid blurry images when the size is changed, and we might be able to toggle features on and off with Javascript.
{{ message }}
That would avoid blurry images when the size is changed, and we might be able to toggle features on and off with Javascript.