globalTools property
A sorted, distinct list of allTools from allCommands
Implementation
List<String> get globalTools =>
allCommands.map((e) => e.allTools).expand((e) => e).toSet().toList()
..sort();
A sorted, distinct list of allTools from allCommands
List<String> get globalTools =>
allCommands.map((e) => e.allTools).expand((e) => e).toSet().toList()
..sort();