Improve task switching for tasks added by plugins
Description
Description
Details
Details
- Provenance
thomascube Authored on Nov 23 2011, 5:40 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:4693fe11a95e: Set selected state on task buttons; increase display time of…
- Branches
- Unknown
- Tags