width property

double get width

Implementation

double get width {
  double totalWidth = 0.0;
  for (final tool in tools) {
    totalWidth += tool.width;
  }
  return totalWidth;
}