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.
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