mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
Fix dump debugging tools
This commit is contained in:
parent
7ee1ee31d1
commit
2c78c06136
@ -116,8 +116,9 @@ class TextSpan {
|
||||
buffer.writeln(style.toString(indent));
|
||||
if (text != null)
|
||||
buffer.writeln('$indent"$text"');
|
||||
for (TextSpan child in children)
|
||||
buffer.writeln(child.toString(indent));
|
||||
if (children != null)
|
||||
for (TextSpan child in children)
|
||||
buffer.writeln(child.toString(indent));
|
||||
return buffer.toString();
|
||||
}
|
||||
|
||||
|
||||
@ -340,7 +340,7 @@ class RawGestureDetectorState extends State<RawGestureDetector> {
|
||||
if (_recognizers == null) {
|
||||
description.add('DISPOSED');
|
||||
} else {
|
||||
List<String> gestures = _recognizers.values.map/*<String>*/((GestureRecognizer recognizer) => recognizer.toStringShort());
|
||||
List<String> gestures = _recognizers.values.map/*<String>*/((GestureRecognizer recognizer) => recognizer.toStringShort()).toList();
|
||||
if (gestures.isEmpty)
|
||||
gestures.add('<none>');
|
||||
description.add('gestures: ${gestures.join(", ")}');
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user