## Stream: general

### Topic: persistent filtering

#### Patrick Massot (Aug 25 2020 at 12:48):

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

#### Patrick Massot (Aug 25 2020 at 12:49):

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

#### Kevin Buzzard (Aug 25 2020 at 18:46):

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

#### Patrick Massot (Aug 25 2020 at 18:50):

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

Last updated: May 06 2021 at 21:09 UTC