markToolLoadingStarted method

void markToolLoadingStarted(
  1. String toolName
)

Implementation

void markToolLoadingStarted(String toolName) {
  final String key = toolName.trim();
  if (key.isEmpty) return;
  _loadingToolStartedAt.putIfAbsent(key, () => DateTime.now());
  _ensureLoadingToolsTimer();
}