unregisterTool method

void unregisterTool(
  1. String name
)

Un-registers a Tool by name.

Does not error if the tool hasn't been registered yet.

Implementation

void unregisterTool(String name) {
  _registeredTools.remove(name);
  _registeredToolImpls.remove(name);

  if (ready) {
    _notifyToolListChanged();
  }
}