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?