From cd23ca1242249df848d4aa5ae73d81c17a4e86ad Mon Sep 17 00:00:00 2001 From: Adam Barth Date: Tue, 7 Jun 2016 16:16:47 -0700 Subject: [PATCH] Add more data to MediaQueryData.toString (#4426) Fixes #4421 --- packages/flutter/lib/src/widgets/media_query.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/flutter/lib/src/widgets/media_query.dart b/packages/flutter/lib/src/widgets/media_query.dart index 76e47075c8..d80bc5d1ee 100644 --- 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.