Add more data to MediaQueryData.toString

abarth · abarth · commit e4b164b9a32a · 2016-06-07T16:09:08.000-07:00
Fixes flutter#4421
diff --git a/packages/flutter/lib/src/widgets/media_query.dart b/packages/flutter/lib/src/widgets/media_query.dart
@@ -71,7 +71,7 @@ class MediaQueryData {
   );
 
   @override
-  String toString() => '$runtimeType($size, $orientation)';
+  String toString() => '$runtimeType(size: $size, devicePixelRatio: $devicePixelRatio, padding: $padding)';
 }
 
 /// Establishes a subtree in which media queries resolve to the given data.

Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@ class MediaQueryData {`
`71`	`71`	`);`
`72`	`72`
`73`	`73`	`@override`
`74`		`- String toString() => '$runtimeType($size, $orientation)';`
	`74`	`+ String toString() => '$runtimeType(size: $size, devicePixelRatio: $devicePixelRatio, padding: $padding)';`
`75`	`75`	`}`
`76`	`76`
`77`	`77`	`/// Establishes a subtree in which media queries resolve to the given data.`