persistent filtering

Stream: general

[Patrick Massot]

@Edward Ayers it would be really nice if widgets could remember we want filtering, as do the plaintext mode.
image.png

[Patrick Massot]

I don't really need to see those 15 instances assumptions.

[Kevin Buzzard]

Can you change the filter : no filter to filter: no instances in the top right?

[Patrick Massot]

I can, but if I move to the next line it's gone.