Fix updating and re-sorting treelist nodes
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jun 24 2014, 9:59 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:9cc0c12bcd9f: Allow to move a treelist node to a new parent with .update()
- Branches
- Unknown
- Tags