markToolLoadingEnded method

void markToolLoadingEnded(
  1. String toolName
)

Implementation

void markToolLoadingEnded(String toolName) {
  final String key = toolName.trim();
  if (key.isEmpty) return;
  _loadingToolStartedAt.remove(key);
  expandedLoadingTools.remove(key);
  expandedLoadingTools.refresh();
  userToggledLoadingTools.remove(key);
  userToggledLoadingTools.refresh();
  _stopLoadingToolsTimerIfIdle();
}