Fri Dec 21 11:26:53 EST 2018
erl_tools widget: ordered list
- order is necessary as a display property
- names are necessary to index
How to solve both problems at the same time.
The simplest is just to re-generate the entire list. Why am I not
considering that as an option?
EDIT: It might be actually impossible to regenerate due to lack of
context at the point where the "add" command is generated. So it
should look like:
- add before first
- add after last
- add at intermediate point following some protocol
Can the latter be avoided?