var map = {"a","100"};
JsonEncoder encoder = const JsonEncoder.withIndent(' '); // 使用两个空格进行缩进
// 序列化 Dart 对象为 JSON 字符串,并指定 prettyPrint
var saveJson = encoder.convert(map);
// var saveJson = jsonEncode(map);
var file = File(widget.languageInfo.path);
file.writeAsString(saveJson);