toggleLoadingToolExpanded method

void toggleLoadingToolExpanded(
  1. String toolName
)

Implementation

void toggleLoadingToolExpanded(String toolName) {
  final String key = toolName.trim();
  if (key.isEmpty) return;
  if (expandedLoadingTools.contains(key)) {
    expandedLoadingTools.remove(key);
  } else {
    expandedLoadingTools.add(key);
  }
  expandedLoadingTools.refresh();
  userToggledLoadingTools.add(key);
  userToggledLoadingTools.refresh();
}