Zulip Chat Archive

Stream: general

Topic: persistent filtering


view this post on Zulip 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

view this post on Zulip Patrick Massot (Aug 25 2020 at 12:49):

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

view this post on Zulip Kevin Buzzard (Aug 25 2020 at 18:46):

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

view this post on Zulip 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