Move some list manipulation functionality to the new treelist widget
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Feb 1 2013, 5:24 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:92ba29f04f93: Include treelist.js in shrinking scripts
- Branches
- Unknown
- Tags