|
|
|
@ -26,8 +26,10 @@ import 'config.dart' as config;
|
|
|
|
|
String pretty(dynamic x) {
|
|
|
|
|
final JsonEncoder encoder = JsonEncoder.withIndent(' ');
|
|
|
|
|
return encoder.convert(x)
|
|
|
|
|
.replaceAll(RegExp(r'["\[\]{},]'), '')
|
|
|
|
|
.replaceAll('\n ', '\n');
|
|
|
|
|
.replaceAll(RegExp(r'^{'), '\n')
|
|
|
|
|
.replaceAll(RegExp(r'["\[\],{}]'), '')
|
|
|
|
|
.replaceAll('\n ', '\n')
|
|
|
|
|
;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
String trimHash(String x) => x.substring(0, config.hashLength) + ' ...';
|
|
|
|
|