Browse Source

Added pretty print for encoded JSON

master
Kenneth Bruen 2 years ago
parent
commit
2a19505ed3
Signed by: kbruen
GPG Key ID: C1980A470C3EE5B1
  1. 4
      lib/state/project.dart
  2. 2
      lib/state/projects.dart

4
lib/state/project.dart

@ -40,7 +40,7 @@ class ProjectState extends ChangeNotifier {
final indexFile = await _getIndexFile();
if (!await indexFile.exists()) {
_index = const ProjectIndex(components: []);
await indexFile.writeAsString(jsonEncode(_index.toJson()));
await indexFile.writeAsString(const JsonEncoder.withIndent(" ").convert(_index.toJson()));
}
else {
_index = ProjectIndex.fromJson(jsonDecode(await indexFile.readAsString()));
@ -51,7 +51,7 @@ class ProjectState extends ChangeNotifier {
_dirty = true;
_index = newIndex;
final indexFile = await _getIndexFile();
await indexFile.writeAsString(jsonEncode(index.toJson()));
await indexFile.writeAsString(const JsonEncoder.withIndent(" ").convert(index.toJson()));
notifyListeners();
}

2
lib/state/projects.dart

@ -33,7 +33,7 @@ class ProjectsState extends ChangeNotifier {
// Sort projects when updating: latest update first
index = newIndex.copyWith(projects: newIndex.projects.toList()..sort((p1, p2) => p2.lastUpdate.compareTo(p1.lastUpdate)));
final indexFile = await _getIndexFile();
await indexFile.writeAsString(jsonEncode(index.toJson()));
await indexFile.writeAsString(const JsonEncoder.withIndent(" ").convert(index.toJson()));
notifyListeners();
}

Loading…
Cancel
Save