unregister method

void unregister(String name)

Unregister a tool by name.

Implementation

void unregister(String name) {
  _tools.remove(name);
}