Zulip Chat Archive
Stream: general
Topic: tactic state filtering
Patrick Massot (Jul 08 2020 at 19:56):
@Edward Ayers Is it me or the new widgets don't remember tactic state filtering from one line to the other?
Edward Ayers (Jul 08 2020 at 20:04):
Yeah that’s a todo sorry
Last updated: Dec 20 2023 at 11:08 UTC