unrestrict method

void unrestrict(String name)

Unrestrict a tool.

Implementation

void unrestrict(String name) {
  _tools[name]?.restricted = false;
}