Cleans up provided string by removing extra whitespace. 通过删除额外的空格来清理提供的字符串
String condenseWhiteSpace(String str) { return str.replaceAll(RegExp(r"\s+"), " ").trim(); }