This implements read-based filtering. There are some bugs and more work to do but wanted to touch base with @rambaut to check if this is along the right lines.
Right now all the data in the client represents the filtered read set -- in the future it'd be nice for the client to have both the filtered data & the total data so that you can visually see the difference. The server's been coded to make both sets of data, but the visualization hasn't been updated for this.
Will eventually close #51.
This implements read-based filtering. There are some bugs and more work to do but wanted to touch base with @rambaut to check if this is along the right lines.
Right now all the data in the client represents the filtered read set -- in the future it'd be nice for the client to have both the filtered data & the total data so that you can visually see the difference. The server's been coded to make both sets of data, but the visualization hasn't been updated for this.