Fixed name conflict involving erasing widgets

Confusing between a robot being trained to erase and a robot being
erased.
Tool's widget selection improved

To use vertical centre instead of top of tool.