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: May 02 2025 at 03:31 UTC