From 508c35940b4989c400e7b5a2851d03e4bd0b2ca2 Mon Sep 17 00:00:00 2001 From: Michel Feinstein Date: Wed, 12 Feb 2020 19:58:05 -0300 Subject: [PATCH] Added linking to viewInsets and viewPadding in MediaQuery padding docs (#50659) --- AUTHORS | 1 + packages/flutter/lib/src/widgets/media_query.dart | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index 235e3d61b3..aa9535c024 100644 --- a/AUTHORS +++ b/AUTHORS @@ -51,3 +51,4 @@ Mark Diener Alek Åström Efthymios Sarpmpanis Cédric Wyss +Michel Feinstein diff --git a/packages/flutter/lib/src/widgets/media_query.dart b/packages/flutter/lib/src/widgets/media_query.dart index bf3702c0ec..a5d8873302 100644 --- a/packages/flutter/lib/src/widgets/media_query.dart +++ b/packages/flutter/lib/src/widgets/media_query.dart @@ -187,7 +187,7 @@ class MediaQueryData { /// for subsequent descendants in the widget tree by inserting a new /// [MediaQuery] widget using the [MediaQuery.removePadding] factory. /// - /// Padding is derived from the values of viewInsets and viewPadding. + /// Padding is derived from the values of [viewInsets] and [viewPadding]. /// /// See also: ///