Don't reset selection filter when searching (#1372)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Oct 4 2013, 7:41 AM mollekopf Pushed on Aug 22 2023, 5:55 AM - Parents
- R14:ed6fd93ac5f0: Make URLs in task titles clickable (#2289)
- Branches
- Unknown
- Tags