unregisterInProcessTool method

void unregisterInProcessTool(
  1. String name
)

Unregister a tool — used when the tool surface changes dynamically.

Implementation

void unregisterInProcessTool(String name) {
  _inProcess.remove(name);
}